第2章谓词逻辑-4.pptVIP

第二章 谓词逻辑 2.4 谓词演算的等价式与蕴含式 2.4.1谓词的等价和永真的概念 定义2.4.1:给定任意的谓词公式A,其个体域为E,对于A的所有赋值,公式A都为真,则称A在E上是永真的(或有效的);若对于A的所有赋值,公式A都为假,则称A在E上是永假的(或不可满足的);若至少存在着一种赋值使得公式A为真,则称A在E上是可满足的. 定义2.4.2:给定任何两个谓词公式A 、B，设它们有共同的个体域E，若对A和B的任一组变元进行赋值，所得命题的真值相同，则称谓词公式A和B在E上等价，并记为A ? B 1、命题公式的推广 在命题公式中成立的式子，用谓词公式去代换其中相应的命题变元，得到的公式依然成立 这两个等价式，可用量词的定义给予说明 对于多重量词前置“?”，可反复应用上面结果，逐次右移?。例如， ?(?x)(?y)(?z)P(x,y,z) ?(?x)(?y)(?z)?P(x,y,z) 3、量词辖域的扩张与收缩 量词辖域中如果有合取或析取项，且其中有一个是命题，则可将该命题移至量词辖域之外。如： （?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 量词辖域的扩张 （?xA(x)?B）?(?x) (A(x)? B） ((?x) A(x)?B) ? (?x) (A(x)?B） (B?(?x) A(x)) ? (?x) (B? A(x)) (B?(?x) A(x)) ? (?x) (B? A(x)) 另有多个公式见课本47页 4、量词分配等值式 设A(x)、B(x)是任意的含自由出现个体变元x的 公式，则 (1) ?x(A(x)∧B(x))?? x A(x) ∧ ?x B(x) (2)?x(A(x)∨B(x))?? x A(x) ∨ ? x B(x) (3)?x(A(x)∨B(x)) ? ?x A(x)∨ ? x B(x) (4) ?x(A(x)∧B(x))??x A(x)∧ ? x B(x) 小结：本节介绍了谓词公式的概念及谓词演算的等价式与蕴涵式，重点掌握谓词演算的等价式与蕴涵式 作业:P50: 1(1),(3)；2,3(1)；4 *计算机科学与技术学院 * 如： ?x( P(x)?Q(x)) ??x(┐P(x)∨Q(x)) ?┐（P(x)∧Q(x)）等 ┐P(x)∨┐Q(x) 2、量词与┐之间的关系 (a) ┐(?x) P(x)?(?x)┐P(x) (b) ┐(?x) P(x)?(?x)┐P(x) 由于“并非对一切x，P(x)为真” 等价于 “存在一些x，? P(x)为真”， 故(a)成立。 (a) ┐(?x) P(x)?(?x)┐P(x) 这两个等价式的意义是：否定联结词可通过量词深入到辖域中。对比这两个式子，容易看出，将(?x)与(?x)两者互换，可从一个式子得到另一个式子，这表明(?x)与(?x)具有对偶性。另外，由于这两个公式成立也表明了，两个量词是不独立的，可以互相表示，所以只有一个量词就够了。 (b) ┐(?x) P(x)?(?x)┐P(x) 由于“不存在一些x，A为真” 等价于 “对一切x，?A为真”， 所以(b)成立。 5.谓词演算蕴含式 ?xA(x)∨?xB(x) ?x(A(x)∨B(x)) ?x(A(x)∧B(x)) ?x A(x)∧?xB(x) 6.多个量词的使用 多个量词同时出现时,其顺序是至关重要的. *计算机科学与技术学院