• 2022-06-16
    用消解证明法构造下列推理的证明.[br][/br]前提: [tex=9.0x1.143]2U8ac1H8RK+pA1spkbbooz93gTiSIQ8blNYMU+FV6OnWtk/ncXVuAZGh+bE4ftel9g0nLqWQOuH9x3UvRX9fgSMVmOtxFJjGsMFeBDkhaVg=[/tex]结论: [tex=1.643x1.071]tD2BKA4+ipTuTEp9lkdjHQ==[/tex]