用消解证明法构造下列推理的证明.[br][/br]前提: [tex=6.071x1.357]JE8Hv5MTpgjenU1HYNKKWdiEoEPSfWQ8LEkKFhBV0u/Z8wkv7i2zNS0g5rqbLclS[/tex]结论 [tex=2.643x0.857]Qe5mOnRZG8Xu6zwhCJMw6w==[/tex]

2022-06-16

用消解证明法构造下列推理的证明.[br][/br]前提: [tex=6.071x1.357]JE8Hv5MTpgjenU1HYNKKWdiEoEPSfWQ8LEkKFhBV0u/Z8wkv7i2zNS0g5rqbLclS[/tex]结论 [tex=2.643x0.857]Qe5mOnRZG8Xu6zwhCJMw6w==[/tex]

答案：

先将前提中的公式和结论的否定化成合取范式.[tex=11.714x3.071]rZM5/OPAdr7aX+kNl9iwpLGORr6dIntlYw7A9IguCpZ3lorrBkLU92ZG4PB2o3tVcMYRPBkL0DHavXWjtjZUYLMDxPU4P9swTKoTgMKALyL5Q3kw4zINxP793Tm9FbGVIVEUp7kA2IXO0xZFKTh9PMxJgSFhfMT6VJ7b6kqt/sd2IBCDtk/lG9epwvsY/IxQbFa1CU7vmj2vJf6YDBp+QdPXvK6FUWIXkRNPJuV22P0=[/tex][br][/br]把前提改写成: [tex=10.214x1.071]6q6eJsaIclaRgCY0G5fJj5VkHsVo+DToW7AnCF3iuS4NTgQRFbnjwHoB//BWYrimSfx3NPhRchUpwCKKA3XNlA==[/tex]证明:(1) [tex=5.0x1.071]6pI9JGM0SvX0eT0zFMLPKyX8bzjmeOp7cVwhScIY1w0=[/tex]                                前提引入(2) [tex=1.571x1.0]47ugbzbLW39v8HGMEfSR4Q==[/tex]                                            前提引入(3)[tex=2.714x1.071]Ohr75ZdPmm3XoosaMuhQoA==[/tex]                                        (1)(2)消解(4) [tex=1.5x1.0]9CWKyhaM0lVYzO98764iPQ==[/tex]                                            前提引入(5) [tex=0.5x0.786]Tg0I1PUwmDJ7uXa9+yiYMA==[/tex]                                              (3)(4)消解(6) [tex=1.143x0.786]SlFUr1qGRUsEp+cfh9Diog==[/tex]                                            前提引入(7) [tex=0.643x1.0]7dwHQGHL24uGORI8NryViw==[/tex]                                              (5)(6)消解[br][/br]        没有用到前提中的 [tex=1.143x0.786]rU2O2T1zMi5fzNYN/m4jGw==[/tex], 这不妨碍证明. 实际上，只要推出[tex=0.5x0.786]U5O66aolbR1y5vuKrQbXNA==[/tex], 就推出了 [tex=2.357x0.857]Mqotu7KgcECBmgPpbNMWYg==[/tex]后面还可能出 现类似情况，不再赘述.

举一反三

内容

0
在自然推理系统 [tex=1.214x1.214]qAleWqgMZntB9lU9kdgZKg==[/tex] 中，构造下列推理的证明(可以使用附加前提证明法).[br][/br]前提 [tex=7.643x1.357]Fh51pf0+6G7c1Vblq9bxY4IW5TvNZ8oK4i9yK2i2FnkpuvBRQvVV+0fnE9ML+nIc[/tex]结论 [tex=8.0x1.357]kBbrF8ISflsj6YFvNy5yNfVBpSvhI3+uWk226FRiqCDbQCixkiR2pLmRowFb9UwE[/tex]
1
【计算题】5 ×8= 6×4= 7×7= 9×5= 2×3= 9 ×2= 8×9= 7×8= 5×5= 4×3= 5+8= 6 ×6= 3×7= 4×8= 9×3= 1 ×2= 9×9= 6×8= 8×0= 4×7=
2
在自然推理系统 [tex=1.214x1.214]qAleWqgMZntB9lU9kdgZKg==[/tex] 中，构造下列推理的证明(可以使用附加前提证明法).[br][/br]前提 [tex=7.714x1.357]Fh51pf0+6G7c1Vblq9bxY8n0o438e+NdHrK/u1qzOL0=[/tex]结论 : [tex=8.071x1.357]NR4R/sGCBliVtkwl02sP8m1Wco8XKQOt0L0SYWggZSPC9dXHxf0xxTrpyHdwpSuweNPqOnewiY4D6wEPEhq3pA==[/tex]
3
intx=5,y=8,z=7;表达式z=!(x>y)||(x=1,y=3)计算后的结果 A: x=1,y=3,z=1 B: x=1,y=3,z=0 C: x=5,y=8,z=0 D: x=5,y=8,z=1
4
前提 [tex=10.429x1.357]itqyUfDjNKE+JM/nxSbt7spobl+ZjxJG/IUpW7DqZdssCGQNBM6MK/UyzfvuyvCGdtOCTRSoW+haOCQXF6zf5g==[/tex] 结论 [tex=1.786x1.0]6Bj0UZdT+bQUv8JcmHc7JQ==[/tex][br][/br] 结论 [tex=1.857x1.0]lk1v9zu8C0wLnE7juUa4Ag==[/tex][br][/br] 结论 [tex=3.429x1.0]SVpCoAxgGX1tGPUBwOfvyQ==[/tex][br][/br](1)证明从此前提出发,推出结论1、结论、论3的推理都是正确的.[br][/br](2)证明从此前提出发,推任何结论的推理都是正确的.