东南大学 离散数学 第2章 谓词逻辑.pptVIP

【例2.11】对(?x)(?y)(P(x,y)∧Q(y,z))?(?x) R(x,y)中的约束变元y换名。 解：下面哪个是正确的？ (?x)(?u)(P(x,u)∧Q(y,z))?(?x) R(x, y) (?x)(?u)(P(x,u)∧Q(u,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进行代入。 解： 下面哪个是正确的？ (?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) 本小节 的学习目标： 1、学会用谓词公式对命题符号化。 2、理解约束变元和自由变元的概念；学会对命题公式中的约束变元进行换名，对自由变元进行代入。 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是永真的，则称A蕴含B，记作A?B。 1．命题逻辑中的等价式的推广 ⑴命题演算中的所有等价式都是谓词演算中的等价式。 ⑵在永真的谓词公式中，命题变元出现的每一处都用同一谓词公式置换，其结果仍是永真式。 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) 3．量词否定等价式 A(x)是含自由变元x的任意谓词公式。则 ?(?x)A(x)?(?x)?A(x) ?(?x)A(x)?(?x)?A(x) 量词之前的否定联结词，否定该量词及其辖域。 “并不是所有的x都有性质A”和“存在x没有性质A”是相同的，所以?(?x)A(x)?(?x)?A(x)。 “不存在某个x有性质A”和“所有的x都没有性质A”是相同的，所以?(?x)A(x)?(?x)?A(x)。 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) 【例2.13】证明 (?x)(A(x)→B)?(?x)A(x)→B 解： (?x)(A(x)→B)?(?x)(?A(x)∨B) ?(?x)?A(x)∨B ??(?x)A(x)∨B