ch5-一阶逻辑等值演算与推理讲述.ppt

* * * * * * * * * * 练习3 3.构造下面推理的证明: (1) 前提：?x(F(x)?G(x)), ?xF(x) 结论：?xG(x) 证明： ① ?x(F(x)?G(x)) 前提引入 ② F(y)?G(y) ①?? ③ ?xF(x) 前提引入 ④ F(y) ③?? ⑤ G(y) ②④假言推理 ⑥ ?yG(y) ⑤?+ ⑦ ?xG(x) ⑥置换 * 练习3(续) (2) 前提：?x(F(x)?G(x)), ??xG(x) 结论：?xF(x) 证明：用归谬法 ① ??xF(x) 结论否定引入 ② ?x?F(x) ①置换 ③ ??xG(x) 前提引入 ④ ?x?G(x) ③置换 ⑤ ?x(F(x)?G(x)), 前提引入 ⑥ ?F(c) ②?? ⑦ ?G(c) ④?? ⑧ F(c)?G(c) ⑤?? ⑨ G(c) ⑥⑧析取三段论 ⑩ ?G(c)?G(c) ⑦⑨合取引入 * 练习3(续) (3)前提：?x(F(x)?G(x)), ?x(G(x)?H(x)) 结论：?xF(x)??xH(x) 证明: 用附加前提法 ① ?xF(x) 附加前提引入 ② F(x) ①?? ③ ?x(F(x)?G(x)) 前提引入 ④ F(x)?G(x) ③?? ⑤ ?x(G(x)?H(x)) 前提引入 ⑥ G(x)?H(x) ⑤?? ⑦ F(x)?H(x) ④⑥假言三段论 ⑧ H(x) ②⑦假言推理 ⑨ ?xH(x) ⑧?+ * 练习4 4. 在自然推理系统NL 中，构造推理的证明． 人都喜欢吃蔬菜．但不是所有的人都喜欢吃鱼．所以, 存在喜欢吃蔬菜而不喜欢吃鱼的人． 解 令F(x): x为人，G(x): x喜欢吃蔬菜，H(x): x喜欢吃鱼． 前提：?x(F(x)?G(x)), ??x(F(x)?H(x)) 结论：?x(F(x)?G(x)??H(x)) 证明：用归谬法 (1) ??x(F(x)?G(x)??H(x)) 结论否定引入 (2) ?x?(F(x)?G(x)??H(x)) (1)置换 (3) ?(F(y)?G(y)??H(y)) (2)?? (4) G(y)?