第五章 一阶逻辑等值演算与.pptVIP

（3）先将量词辖域缩小 ?x(F(x)??yG(y)) ? ?xF(x)??yG(y) （量词辖域收缩扩张等值式） ? (F(a)?F(b)?F(c))?(G(a)?G(b)?G(c)) 说明： 在做此类问题时，若能将量词辖域缩小，就缩小后再消量词，否则太麻烦. * 3．求下列各公式的前束范式 （1）?xF(x)???yG(x,y) （2）?xF(x,y)??xG(x,y) （3）(?x1F(x1,x2)??x2G(x2))??x2H(x1,x2) * （1）?xF(x)???yG(x,y) ? ?xF(x)??y?G(x,y) （量词否定等值式） ? ?xF(x)??y?G(z,y) （代替规则） ? ?x?y(F(x)??G(z,y)) （辖域收缩扩张等值式） （2）?xF(x,y)??xG(x,y) ? ?xF(x,y)??zG(z,y) （换名规则） ? ?x?z(F(x,y)?G(z,y)) 求前束范式时，要用换名规则、代替规则、量词否定等值式、量词辖域收缩与扩张等值式. * （3）(?x1F(x1,x2)??x2G(x2))??x2H(x1,x2) ? (?x1F(x1,x2)??x3G(x3))??x4H(x5,x4) ? ?x1?x3(F(x1,x2)?G(x3))??x4H(x5,x4) ? ?x1?x3?x4((F(x1,x2)?G(x3))?H(x5,x4)) * 4．在自然推理系统F中构造下面推理的证明.每个喜欢步行的人都不喜欢骑自行车. 每个人或者是喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车. 所以，有人不喜欢步行（个体域为人的集合） 令 F(x)：x喜欢步行，G(x)：x喜欢骑自行车 H(x)：x喜欢乘汽车 因为个体域是人的集合，故不引入特性谓词 前提:?x(F(x)??G(x))，?x(G(x)?H(x))，?x?H(x) 结论：?x?F(x) * 证明：① ?x?H(x) 前提引入 ② ?H(c) ①EI ③ ?x(G(x)?H(x)) 前提引入 ④ G(c)?H(c) ③UI ⑤ G(c) ②④析取三段论 ⑥ ?x(F(x)??G(x)) 前提引入 ⑦ F(c)??G(c) ⑥UI ⑧ ?F(c) ⑤⑦拒取式 ⑨ ?x?F(x) ⑧EG 注意：先消去存在量词 * 作 业： 习题五： 2，5，12（1，2），15，19，24，，25 * 第五章 一阶逻辑等值演算与推理 本章的主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 一阶逻辑推理理论 本章与其他各章的关系 本章的先行基础是前四章 本章是集合论各章的先行基础 * 5.1 一阶逻辑等值式与置换规则 一、等值式与基本的等值式 1．等值式（定义5.1）A?B当且仅当A?B为永真式（A与B为任意的一阶逻辑公式） 注意：与定义2.1的区别与联系 2．基本的等值式 第一组：命题逻辑中16组基本等值式代换实例 例如，?xF(x)??yG(y) ? ??xF(x)??yG(y) p?q??p?q的代换实例 * 第二组：本章新给出 （1）消去量词等值式 D={a1,a2,…,an} ① ?xA(x)?A(a1)?A(a2)?…?A(an) ② ?xA(x)?A(a1)?A(a2)?…?A(an) （2）量词否定等值式 ① ??xA(x)??x?A(x) ② ??xA(x) ??x?A(x) * （3）量词辖域收缩与扩张等值式. A(x)是含x自由出现的公式，B中不含x的出现 关于存在量词的： ① ?x(A(x)?B) ? ?xA(x)?B ② ?x(A(x)?B) ? ?xA(x)?B ③ ?x(A(x)?B)??xA(x)?B ④ ?x(B?A(x)) ? B??xA(x) 关于全称量词的： ① ?x(A(x)?B)??xA(x)?B ② ?x(A(x)?B) ??xA(x)?B ③ ?x(A(x)?B)??xA(x)?B ④ ?x(B?A(x))?B??xA(x) * （4）量词分配等值式 ① ?x(A(x)?B(x)) ? ?xA(x)??xB(x) ② ?x(A(x)?B(x)) ? ?xA(x)??xB(