数学参考答案破解版.docxVIP

数学参考答案破解版 数学参考答案破解版 一、证明下面推理 1） 前提：p →(q→(s∧r)), ┐s ∧p 结论：?q 2） 前提：?x(F(x)∨G(x))，┐?x(G(x)∧R(x))，?xR(x) 结论：?x(F(x)) 3) 前提：?x(F(x)→(G(a)∧H(x)))，?x F(x) 结论：?x (F(x)∧H(x)) 证明:用归谬法, (1) q 附加前提 (2) ┐s ∧p P (3) p T(2),I (4) p →(q→(s∧r)) P (5) q→(s∧r) T(3)(4),I (6) s∧r T(1)(5),I (7) ┐s T(2),I (8) s T(6),I (9) ┐s ∧s T(7)(8),I 由于最后－步┐s ∧s ?0，所以推理正确，结论┐q 为有效结论。 ① ┐?x(G(x)∧R(x)) P ② ?x(┐G(x)∨┐R(x)) T (1),E ③ ┐G(c)∨┐R(c) T(2),I P ④ ?xR(x) ⑤ R (c) T(4),I ⑥ ┐G(c) T(3)(5),I P ⑦ ?x(F(x)∨G(x)) ⑧ F(c)∨G(c) T(7),I ⑨ F(c) T(6)(8),I T(9),I ⑩ ?x(F(x)) 3) 证明： 注意，在证明序列中先引进带存在量词的前提。 ① ?x F(x) P ② F(c) T(1),I ③ ?x(F(x)→(G(a)∧H(x))) P ④ F(c)→(G(a)∧H(c)) T(3),I ⑤ G(a)∧H(c) T(4),I ⑥ H(c) T(5),I ⑦ F(c)∧H(c) T(2)(6),I ⑧ ?x (F(x)∧H(x)) T(7),I 二、在谓词逻辑中，构造下面推理的证明: 1、每个有理数都是实数，有的有理数是整数，因此有的实数是整数。 解: 设F(x):x是有理数，G(x)：x是实数，H(x):x是整数。 则上述推理可以符号化为：?x(F(x)→(G(x)) ，?x(F(x)∧H (x)) |- ?x(G(x)∧H (x)) 证明： ① ?x(F(x)∧H (x)) P ② F(c)∧H (c) T(1),I ③ ?x(F(x)→(G(x)) P ④ F(c)→G(c) T(3),I ⑤ F (c) T(2),I ⑥ G(c) T(4)(5),I ⑦ H(c) T(2),I ⑧ G(c) ∧H (c) T(6)(7),I ⑨ ?x(G(x)∧H (x)) T(8),I 2、任何人，如果他喜欢步行，他就不喜欢乘汽车。每一个人或者喜欢乘汽车，或者喜欢骑 自行车。并非每个人都喜欢骑自行车。因此，有的人不爱步行。（个体域为人类集合） 解: 设F(x):x喜欢步行，G(x)：x喜欢乘汽车，H(x):x喜欢骑自行车 则上述推理可以符号化为： ?x(F(x)→┐(G(x)), ?x(G(x)∨H (x)), ┐?xH(x) |-?x ┐F(x) (1) ┐?xH(x) P T(1),E (2) ?x ┐H(x) (3) ┐H(c) T(2),I P (4) ?x(G(x)∨H (x)) (5) G(c)∨H(c) T(4),I (6) G(c) T(3)(5),I (7) ?x(F(x)→┐(G(x)) P (8) F(c)→┐(G(c) T(7),I (9) ┐F(c) T(6)(8),I (10) ?x ┐F(x) T(9),I 3) 如果2是偶数，则3是奇数。或者2是偶数或者2整除3，结果2整除3，所以3不是奇数。 解 设A ：2是偶数；B ：3是奇数，C ：2整除3；则推理化形式为： A →B ，A ∨C ， 该推理形式不正确。例如，设有一赋值：A ＝F，B ＝T ，C ＝T，则A →B 、A ∨C 、C 都为真，但?B 为假。 4) 如果A 努力工作，那么B 或C 感到愉快；如果B 愉快，那么A 不努力工作；如果D 愉快那么C 不愉快。所以，如果A 努力工作，则D 不愉快。 设A ：A 努力工作；B 、C 、D 分别表示B 、C 、D 愉快；则推理化形式为： A →B ∨C ，B →?A ，D →? C A →?D 该推理形式正确。下面给出证明： (1)A 附加前提 (2)A →B ∨C P (3)B ∨C T(1)(2)，I (4)B →?A P (5)A →?B T(4)，E (6)?B T(1)(5)，I (7)C T(3)(6