谓词逻辑II等值演算、前束范式与推理理论.ppt

* 2.3 谓词逻辑等值演算 2.3.1 谓词逻辑等值式与置换规则 基本等值式 置换规则、换名规则 2.3.2 谓词逻辑前束范式 * 等值式 定义3.10 若A?B是永真式, 则称A与B是等值的, 记作 A?B, 并称A?B为等值式 基本等值式 命题逻辑中基本等值式的代换实例 如，?xF(x)??yG(y) ? ??xF(x)??yG(y) ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 等 消去量词等值式 设D={a1,a2,…,an} ?xA(x)?A(a1)?A(a2)?…?A(an) ?xA(x)?A(a1)?A(a2)?…?A(an) * 基本等值式(续) 量词辖域收缩与扩张等值式 设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) * 基本等值式(续) 量词否定等值式 设A(x)是含x自由出现的公式 ??xA(x)? ?x ?A(x) ? ?xA(x)??x ?A(x) 量词分配等值式 ?x(A(x)?B(x))??xA(x)??xB(x) ?x(A(x)?B(x))??xA(x)??xB(x) 注意：?对?，?对?无分配律 * 置换规则、换名规则 置换规则 设A?B ，?(A)是含公式A的公式, ?(B)是用公式B取代?(A)中的所有A得到的公式, 则?(A)??(B) 换名规则 将公式A中某量词的指导变元及其在辖域内的 所有约束出现改成该量词辖域内未曾出现的某个个体变 元, 其余部分不变, 记所得公式为A?, 则A??A * 实例 例1 消去公式中既约束出现、又自由出现的个体变元 (1) ?xF(x,y,z) ? ?yG(x,y,z) ? ?uF(u,y,z) ? ?yG(x,y,z) 换名规则 (2) ?x(F(x,y) ? ?yG(x,y,z)) ? ?x(F(x,y) ? ?tG(x,t,z)) 换名规则 ? ?uF(u,y,z) ? ?vG(x,v,z) 换名规则 * 实例 例2 设个体域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)) * 实例 解 (F(f(2))?G(2, f(2)))?(F(f(3))?G(3, f(3))) 例3 给定解释I: (a) D={2,3}, (b) (c) :x是奇数, : x=2 ? y=2, : x=y. 在I下求下列各式的真值: (1) ?x(F(f(x))?G(x, f(x))) (2) ?x?yL(x,y) ? (1?1)?(0?1) ? 1 解 ?yL(2,y)??yL(3,y) ? (L(2,2)?L(2,3))?(L(3,2)?L(3,3)) ? (1?0)?(0?1) ? 0 * 实例 例4 证明下列等值式: ? ?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)) * 前束范式 定义3.11 设A为一个谓词逻辑公式, 若A具有如下形式 Q1x1Q2x2…Qkxk B 则称A为前束范式, 其中Qi 为?或?, 1?i?k, B为不含量词的公式. 例如 ?x?y(F(x)?(