第2篇 谓词逻辑(2009-2010-02).pptVIP

蕴含式 1.附加律 A?A∨B， B ?A∨B 2.化简律 A∧B ?A， A∧B ?B 3.假言推理 A∧(A→B )?B 4.拒取式 ?B∧(A→B )??A 5.析取三段论 ?A∧(A∨B)?B， ?B∧(A∨B )?A 6.假言三段论 (A→B )∧(B→C )?(A→C ) 7.等价三段论 (A?B )∧(B?C )?(A?C ) 8.构造性二难 (A∨C )∧(A→B )∧(C→D )?B∨D (A∨?A)∧(A→B) ∧(?A→B )?B 9.破坏性二难 (?B∨?D )∧(A→B )∧(C→D )?(?A∨?C ) 常用推理方法： 真值表法 直接证明法 间接证明法：CP规则、归谬法 2.2.2约束变元与自由变元 【例2.11】对(?x)(?y)(P(x,y)∧Q(y,z))?(?x) R(x,y)中的约束变元y换名。 解：用u置换约束变元y。换名后为： (?x)(?u)(P(x,u)∧Q(u,z))?(?x) R(x,y) 不能换成： (?x)(?u)(P(x,u)∧Q(y,z))?(?x) R(x, y) 也不能换成：(?x)(?z)(P(x, z)∧Q(z,z))?(?x) R(x,y) 【例2.12】对(?x)(P(y)∧R(x,y))→(?y)Q(y) 中的自由变元y进行代入。 解：用z代换y，代入后为： (?x)(P(z)∧R(x,z))→(?y)Q(y) 不能换成： (?x)(P(x)∧R(x,x))→(?y)Q(y) 或 (?x)(P(z)∧R(x,y))→(?y)Q(y) 2.2.2 约束变元与自由变元 自然数有以下三条公理：1、每个数都有唯一的一个数是它的后继数。2、没有一个数使数1是它的后继数。3、每个不等于1的数都有唯一的一个数是它的直接先驱数。 解：设N(x)：x是自然数。 S(x,y)：y是x的后继(x是y的先驱)。1、 (?x)(N(x)→(?y)(N(y)∧S(x，y)∧?(?z)((z≠y)∧ N(z)∧S(x,z)))) 2、 ?(?x)(N(x)∧S(x,1)) 3、 (?x)(N(x)∧? S(x,2) →(?y)(N(y)∧S(y，x)∧ ?(?z)((z≠y)∧N(z)∧S(z,x)))) 2.3谓词演算的等价式与蕴含式 定义2.3.1 设A是谓词公式，如果对A的任何赋值，A都为真，则称A是有效的或永真的。 定义2.3.2 设A是谓词公式，如果对A的任何赋值，A都为假，则称A是不可满足的或永假的。 定义2.3.3 设A是谓词公式，如果至少有一组赋值使A为真，则称A是可满足的。 定义2.3.4 设A、B是任意两个谓词公式，对A、B的任何赋值，若其真值相同，则称A与B是等价的，记作A?B；若A→B是有效的，则称A蕴含B，记作A?B。 2.3谓词演算的等价式与蕴含式 1．命题逻辑中的等价式的推广 ⑴命题演算中的所有等价式都是谓词演算中的等价式。 ⑵命题逻辑中的等价式的推广 在命题逻辑中，重言式的同一分量出现的每一处都用同一合式公式置换，其结果仍是重言式(定理1.4.2)。在谓词逻辑中可以推广为：在永真的谓词公式中，命题变元出现的每一处都用同一谓词公式置换，其结果仍是永真式。 2.3谓词演算的等价式与蕴含式 2．消去量词等价式 设个体域为有限集?a1，a2，…，an?，A(x)是含自由变元x的任意谓词公式，有下列等价式成立： (?x)A(x)?A(a1)∧A(a2)∧…∧A(an) (?x)A(x)?A(a1)∨A(a2)∨…∨A(an) 例： (?x)(F(x)∧G(x)) 个体域D＝{2,3} F(2)∧G(2)∧F(3)∧G(3) 例：(?x)(F(x) →G(x)) 个体域D＝{2,3} 2.3谓词演算的等价式与蕴含式 3．量词否定等价式 设A(x)是含自由变元x的任意谓词公式。则 ?(?x)A(x)?(?x)?A(x)