第2章_谓词逻辑.ppt

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) ?(?x)A(x)?(?x)?A(x) 约定，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。 2301 2302 2303 2.3谓词演算的等价式与蕴含式 4．量词作用域的扩展与收缩等价式 设A(x)是含自由变元x的任意谓词公式。B是不含变元x的谓词公式，则 (?x)(A(x)∨B)?(?x)A(x)∨B (?x)(A(x)∧B)?(?x)A(x)∧B (?x)(A(x)∨B)?(?x)A(x)∨B (?x)(A(x)∧B)?(?x)A(x)∧B 利用上述四式可以得到以下四式： (?x)(A(x)→B)?(?x)A(x)→B (?x)(A(x)→B)?(?x)A(x)→B (?x)(B→A(x))?B→(?x)A(x) (?x)(B→A(x))?B→(?x)A(x)