第5章 一阶逻辑等值演算与推理.pptVIP

* 练习4(续) (6) F(y)?G(y) (5)?? (7) F(y) ? ?F(y)?H(y) (4)(6)假言三段论 (8) F(y) ?H(y) (7)置换 (9) ?y(F(y) ?H(y)) (8)?+ (10) ?x(F(x) ?H(x)) (9)置换 (11) ??x(F(x) ?H(x)) 前提引入 (12) 0 (10)(11)合取 * 实例书本 例5.7求下面公式的前束泛式,填出每一步的依据 （1）?xF(x)??xG(x) （2）?xF(x)??xG(x) （3）?xF(x)??xG(x) 解: (1) ?xF(x)??xG(x) ? ?yF(y)??xG(x) 换名规则 ? ?y(F(y)??xG(x)) (5.4式二) ? ?y?x(F(y)?G(x)) (5.4式二) （3）?xF(x)??xG(x) ? ?yF(y)??xG(x) 换名规则 ? ?y(F(y)??xG(x)) ? ?y?x(F(y)?G(x)) * 实例书本 例5.8 求下面公式的前束泛式 (1)?xF(x,y)??yG(x,y) (2)(?x1 F(x1, x2 )??x2G(x2))??x1H(x1,x2,x3) 解： （1）?xF(x,y)??yG(x,y) ? ?tF(t,y)??wG(x,w) 换名规则 ? ? t ?w(F(t,y)?G(x,w)) ( (5.3),(5.4) ) 或 ?xF(x,y)??yG(x,y) ??xF(x,t)??yG(w,y) 代替规则 ? ?x?y(F(x,t)?G(w,y)) ((5.3),(5.4)) * 实例书本 例5.8 求下面公式的前束泛式 (1)?xF(x,y)??yG(x,y) (2)(?x1F(x1, x2)??x2G(x2))??x1H(x1,x2,x3) 解： （2） (?x1F(x1, x2)??x2G(x2))??x1H(x1,x2,x3) ? (?x4F(x4, x2)??x5G(x5))??x1H(x1,x2,x3) 换名规则 ? ?x4?x5(F(x4, x2)?G(x5))??x1H(x1,x2,x3) ((5.3),(5.4)) ? ?x4?x5?x1(F(x4, x2)?G(x5)?H(x1,x2,x3) ((5.3),(5.4)) * 5.3 一阶逻辑的推论理论 由于谓词演算是在命题演算的基础上，进一步扩大了谓词与量词的功能，因此容易想到，命题演算中有关推理演绎的规则基本上适用于谓词演算，即在命题逻辑中的各项推理规则在一阶逻辑推理中仍然适用，当然也会有不少只适用于谓词演算的概念与规则。 在一阶逻辑中，由前提A1, A2,?, Ak 出发推出结论B的形式结构仍然是A1?A2???Ak ?B。 如果此式是永真式，则称由前提A1, A2,?, Ak 推出结论B的推理正确， 记作A1?A2???Ak ?B 或者A1, A2,?, Ak ? B， 否则称推理不正确。 * 5.3 一阶逻辑的推论理论 推理的形式结构 1. A1?A2???Ak ?B 若此式是永真式, 则称推理正确, 记作A1?A2???Ak ?B 2. 前提: A1, A2,?, Ak 结论: B 推理定理: 永真式的蕴涵式 * 推理定理 第一组 命题逻辑推理定理的代换实例 如, ?xF(x)??yG(y) ? ?xF(x) ?xF(x)? ? yG(y) ? ?xF(x) ?xF(x) ? ?xF(x) ? ? yG(y) 第二组