用消解证明法构造下列推理的证明.[br][/br]前提: [tex=6.857x1.071]oE08hbpZBFMquOSEGjKz1N0zsQDbis3ZTC0M5AByyZ5vdSzRqj6D+/SQaAenolDz[/tex]结论: [tex=2.071x0.857]QGPpO6i9yzWioem8R8fruA==[/tex]

2022-06-16

用消解证明法构造下列推理的证明.[br][/br]前提: [tex=6.857x1.071]oE08hbpZBFMquOSEGjKz1N0zsQDbis3ZTC0M5AByyZ5vdSzRqj6D+/SQaAenolDz[/tex]结论: [tex=2.071x0.857]QGPpO6i9yzWioem8R8fruA==[/tex]

答案：

先将结论的否定化成合取范式.                                    [tex=7.286x2.643]Ck4j1YFlvVH5wCAykOEMi1Ad8MFz4sgmnm65psQKcvcggw3LSqNUDCVdQ/FgLnMvNzTJ5Ofmh5pfSnWl61Hu6fTI8dtF43wy3OGXtsTqc/yapIol04HdZ4g2n7JIiDPU6Yp4/B+gPM17Qvu63yheLz+Gs2OYgnX/3zwonvB6P/Q=[/tex]                                    [tex=8.429x1.357]cpavSJhjHaY1s6nNW2jtGJXPQIBGXpQoZPLpSsQB6bD4CBezDHh73aDhlnob6Q4lCbx4PswHVdREfV+4gOEYYw==[/tex][br][/br]把前提改写成: [tex=11.857x1.071]0/q6Oajw79Pv/JE2ICixAJyKHhaXsxv6wTxWmC28sKRuLTyEfI9nY9DRSM2GlOToDPCjH13eP6AjzqRfNcX9lQ==[/tex]证明:(1) [tex=1.643x1.071]qm6Pwrgbk++qf4F1arobZg==[/tex]                                前提引入(2) [tex=2.786x1.071]TNNwBN2hYO4FVtIzUyLTUw==[/tex]                            前提引入(3) [tex=2.786x1.071]TNNwBN2hYO4FVtIzUyLTUw==[/tex]                           (1)(2)消解(4) [tex=2.714x1.071]vbIWtzhaHncWpjqWpOwOdQ==[/tex]                            前提引入(5) [tex=2.071x0.857]FNazB0FSH9w8zABcroXRJg==[/tex]                            (3)(4)消解(6) [tex=1.143x0.786]mDxQAY45Orr5wnFs2DJQgA==[/tex]                                 前提引入  (7) [tex=0.5x0.786]ICKY+F5VdoSQrRn/wUUOyw==[/tex]                                 (5)(6)消解(8) [tex=1.143x0.786]e1bAztKEPg66T6C7B3XfTA==[/tex]                                 前提引入(9)  [tex=0.643x1.0]7dwHQGHL24uGORI8NryViw==[/tex]                               (7)(8)消解

举一反三

内容

0
前提 [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)证明从此前提出发,推任何结论的推理都是正确的.
1
构造下列推理的证明.[br][/br]前提: [tex=11.357x1.357]QXr6VXLOoZDJx9WKhJqf0gbmVFXb5+WL193Frxy8j0s2lNSLHEGvm4PQcmqs/VgK[/tex] 为个体常项 [br][/br]结论: [tex=2.0x1.357]meCJel/67w3XgRBnBuDjxw==[/tex]
2
在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]前提 [tex=9.571x1.143]IWR8aHpwD3TF64coGhvgv4629l63kYdzHUwbo2u/dcjLgDgx5IMMJkwpEafVW3ygSS8T7E9YPcAx1Ah3WvCWkkWMz6Pf8rdu2I3HohQO2x8=[/tex]结论[tex=2.5x1.071]zBGy4/llz0yMQ956MKe8mw==[/tex]
3
用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数; 前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x)); 结论:∃x(R(x)∧Z(x))。 (1)∃x(Q(x)∧Z(x)) 前提引入 (2)Q(c)∧Z(c) (1)∃- (3)∀x(Q(x)→R(x)) 前提引入 (4)Q(c)→R(c) (3)∀- ( 5 )Q(c) (2) 化简 ( 6 )R(c) (4)(5) 假言推理 ( 7 )Z(c) (2) 化简 (8)R(c)∧ Z(c) (6)(7) 合取引入 (9)∃x(R(x)∧Z(x)) (8)∃+
4
set1 = {x for x in range(10)} print(set1) 以上代码的运行结果为？ A: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} B: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10} C: {1, 2, 3, 4, 5, 6, 7, 8, 9} D: {1, 2, 3, 4, 5, 6, 7, 8, 9,10}