一阶逻辑等值演算与推理详解.pptVIP

两式成立的条件是: 在第一式中, 取代x的y应为任意的不在A(x)中约束出现的个体变项。 在第二式中, c为任意个体常项。 用y或c去取代A(x)中的自由出现的x时, 一定要在x自由出现的一切地方进行取代。 计算机科学学院 刘芳 计算机科学学院 刘芳 * * 第5章 一阶逻辑等值演算与推理 5.1 一阶逻辑等值式 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论 * * 5.1 一阶逻辑等值式 定义5.1 设A,B是一阶逻辑中的 任意两公式，若A ? B为永真式，称A和B等值，记为A?B，称A?B 是等值式。 基本等值式 Group 1.命题逻辑中基本等值式的代换实例 P →Q ? ┐P ∨Q ?xP(x) → ?yE(y) ? ┐ ?xP(x) ∨ ?yE(y) ?x(P(x) → Q(x)) ? ?x (┐P (x) ∨ Q(x)) * * 5.1 一阶逻辑等值式 group2 1.消去量词等值式 对有限个体域D＝{a1,a2, …,an}中 ?xA(x) ? A(a1)∧A(a2)∧……∧A(an) ?xA(x) ? A(a1)∨A(a2)∨……∨A(an) 2.量词的否定等值式 （全称量词和存在量词之间的关系, A(x)是含x自由出现的公式） ┐?xA(x) ? ?x┐A(x) ┐? xA(x) ? ? x┐A(x) * * 5.1 一阶逻辑等值式 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) * * 5.1 一阶逻辑等值式 4.量词分配等值式 设A(x) 和B(x)都是包含自由变元x的谓词公式，则： ?x(A(x) ∧B(x)) ? ?xA(x) ∧ ?xB(x) ? x(A(x)∨ B(x)) ? ? xA(x)∨ ? xB(x) 5.量词的交换 ?x?yA(x,y) ??y?xA(x,y) ? x?yA(x,y) ? ?y? xA(x,y) * * 5.1 一阶逻辑等值式 例5.3：设个体域D={a,b,c}, 消去下面公式中的量词: (1) ?x(F(x)?G(x)) ? (F(a)?G(a))?(F(b)?G(b))?(F(c)?G(c)) (2) ?x(F(x)??yG(y)) ? ?xF(x)??yG(y) 量词辖域收缩 ?(F(a)?F(b)?F(c))?(G(a)?G(b)?G(c)) ? ?x(F(x,a)?F(x,b)?F(x,c)) (3) ?x?yF(x,y) ? (F(a,a)?F(a,b)?F(a,c))?(F(b,a)?F(b,b)?F(b,c)) ?(F(c,a)?F(c,b)?F(c,c)) * * 5.1 一阶逻辑等值式 例5.5： 证明下列各等值式: （1）? ?x(M(x)?F(x)) ? ?x(M(x)??F(x)) 证 左边 ? ?x ?(M(x)?F(x)) 量词否定等值式 ? ?x(?M(x)??F(x)) ? ?x(M(x)??F(x)) * * 5.1 一阶逻辑等值式 置换规则、换名规则、代替规则 1.置换规则 若A?B, 则?(A)? ?(B). * * 5.1 一阶逻辑等值式 2.换名规则 约束变元的换名依据 一个公式的约束变元可使用多个名称，具体符号无关紧要，故可对约束变元进行换名。 例如：?xP(x) ? ?yP(y) 换名规则 将公式A中某量词的指导变元及其在辖域内的所有约束出现改成该量词辖域内未曾出现的某个个体变项, 其余部分不变, 记所得公式为A?, 则A??A。 * * 5.1 一阶逻辑等值式 例如： ?xP(x) →Q(x) ? ?yP(y) →Q(x) ?x (P(x,y) →Q(x,y) ) ∨P(x,z) ? ?t (P(t,y) →Q(t,y) ) ∨P(x,z) * * 5.1 一阶逻辑等值式 3.自由变元的代替规则 将公式A中某个自由出现的个体变项的所有出现用A中未曾使用过的个体变项符号代替，A中其余部分不变，所得公式A’， 则A??A。 例如： ?xP(x) →Q(x) ??xP(x) →Q(y) ?x