一阶逻辑等值式59889.ppt

一阶逻辑等值式 福建师范大学数学与计算机科学学院 一阶逻辑等值式与置换规则 在一阶逻辑中，有些命题可以有不同的符号化形式。 例如：没有不犯错误的人 令 M(x):x是人。 F(x):x犯错误。 则将上述命题的符号化有以下两种正确形式： (1) ┐?x(M(x)∧┐F(x)) (2) ?x(M(x)→F(x)) 等值式的定义 定义5.1 设A，B是一阶逻辑中任意两个公式，若 A?B是永真式，则称A与B是等值的。记做A?B，称 A?B 是等值式。 一阶逻辑中的一些基本而重要等值式 代换实例 消去量词等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 代换实例 由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而P.9给出的16组等值式模式给出的代换实例都是一阶逻辑的等值式的模式。 例如： (1)?xF(x) ? ┐┐?xF(x) （双重否定律） (2)F(x)→G(y) ? ┐F(x)∨G(y) （蕴涵等值式） (3)?x(F(x)→G(y))→ ?zH(z) ? ┐?x(F(x)→G(y))∨?zH(z)? （蕴涵等值式） 消去量词等值式 设个体域为有限集D={a1,a2,…,an},则有 （1）?xA(x) ? A(a1)∧A(a2)∧…∧A(an) （2）?xA(x) ? A(a1)∨A(a2)∨…∨A(an)?? 量词否定等值式 设A(x)是任意的含自由出现个体变项x的公式，则 （1）┐?xA(x) ? ?x┐A(x) （2）┐?xA(x) ? ?x┐A(x) 量词辖域收缩与扩张等值式 设A(x)是任意的含自由出现个体变项x的公式，B中不含x的出现，则 （1） ?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) （2） ?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) 证明: ?xA(x)→B ? ?x(A(x)→B) ?xA(x)→B ? ┐?xA(x)∨B ? ?x┐A(x)∨B ? ?x(┐A(x)∨B) (量词辖域的扩张) ? ?x(A(x)→B) 量词分配等值式 设A(x)，B(x)是任意的含自由出现个体变项x的公式，则 （1）?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) （2）?x(A(x)∨B(x)) ? ?xA(x)∨ ?xB(x) 一阶逻辑等值演算的三条原则 置换规则：设Φ(A)是含公式A的公式，Φ(B)是用公式B取代Φ(A)中所有的A之后的公式，若A?B，则Φ(A)?Φ(B)。 换名规则：设A为一公式，将A中某量词辖域中某约束变项的所有出现及相应的指导变元改成该量词辖域中未曾出现过的某个体变项符号，公式的其余部分不变，设所得公式为A，则A?A。 代替规则：设A为一公式，将A中某个自由出现的个体变项的所有出现用A中未曾出现过的个体变项符号代替，A中其余部分不变，设所得公式为A，则A?A。 例1 将下面公式化成与之等值的公式，使其没有既是约束出现又是自由出现的个体变项。 (1)?xF(x,y,z)→?yG(x,y,z) (2)?x(F(x,y)→ ?yG(x,y,z)) 例 例2 证明 （1） ?x(A(x)∨B(x)) ≠ ?xA(x)∨?xB(x) （2） ?x(A(x)∧B(x)) ≠ ??xA(x)∧?xB(x) 其中A(x)，B(x)为含x自由出现的公式。 例—消去量词 例3 设个体域为D＝{a,b,c}，将下面各公式的量词消去：? (1) ?x(F(x)→G(x)) (2) ?x(F(x)∨ ?yG(y)) (3) ?x?yF(x,y) (3) ?x?yF(x,y) ? ?x(F(x,a)∧F(x,b)∧F(x,c)) ? (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)) 在演算中先消去存在量词也可以，得到结果是等值的。 ?x?yF(x,y) ??yF(a,y)∨ ?yF(b,y) ∨ ?yF(c,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)) 例4 给定解释I如下： （a）个体域 D＝{2,3}（b）D中特定元素（c）D上的特定函数(x)为：（d）D的特定谓词 例5 证明下列等值