理学6谓词逻辑推理.pptVIP

1第六讲谓词演算主要内容一、谓词公式等值的定义二、谓词公式的等值式、蕴含式 三、谓词演算及有关量词推理规则四、谓词演算例

2(1)对任一公式A，若在个体域E上，对A中的谓词和个体变元进行指派后，所得命题：1)都真。称A在E上永真或在E上逻辑有效;2)至少一个为真，称A在E上可满足；3)都假，称A永假或在E上不可满足。若E任意，称A永真、永假或不可满足。注：当谓词公式A的个体域有限，谓词变元的指派也有限，才能用真值表判定A是否为永真。一、谓词公式等值式的定义

3一、谓词公式等值式的定义定义1：设谓词公式A与B有共同个体域E。若对A与B的一组变元给出任意一个赋值，所得命题的真值相同，称A与B在E上等值。记作：A?B若两公式A，B在任意个体域上都等值，称A?B。

定义2：设A,B是一阶逻辑中任意两个公式，若AB是永真式，则称A与B等值记作AB.称AB是等值式。4

5一、谓词公式等值式的定义例如：??xF(x)??x?F(x)F?F

6二、谓词公式的等值式、蕴含式命题逻辑等值式的代换实例与量词有关的等值式有限个体域量词消去量词否定量词辖域收缩与扩张量词分配与变项命名有关的等值式换名规则代替规则置换规则

7代换实例命题变元的推广由于命题演算中的永真式中的同一命题变元，用同一公式取代时，其结果仍然是永真式。推广至谓词公式，当用谓词公式代替命题演算中永真式的变元时，所得的谓词公式是有效的。称为原来公式的代换实例.故命题逻辑中的16组等值式模式给出的代换实例都是谓词逻辑的等值式的模式。例：?xF(x)????xF(x)，F(x)?G(x)??F(x)?G(x)等都是其中的代换实例。

8有限个体域上消去量词设个体域为有限集D={a1,a2,…,an},则?xA(x)?A(a1)∧A(a2)∧…∧A(an)?xA(x)?A(a1)∨A(a2)∨…∨A(an)例:个体域D={a,b,c},则消去下面公式中的量词?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))

9量词否定等值式设A(x)是任意的含有自由出现个体变项x的公式，则??xA(x)??x?A(x)??xA(x)??x?A(x)

10量词辖域收缩与扩张?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)?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)

11例题：设个体域D={a,b}，消去下面各公式中的量词：(1)?x?y(F(x)?G(y))??x(F(x)??yG(y))?xF(x)??yG(y)?(F(a)∨F(b))?(G(a)∨G(b))(2)?x?y(F(x,y)?G(x,y))?x((F(x,a)?G(x,a))∨(F(x,b)?G(x,b))((F(a,a)?G(a,a))∨(F(a,b)?G(a,b)))∧((F(b,a)?G(b,a))∨(F(b,b)?G(b,b)))注：(1)中量词辖域可以缩小，先缩小量词辖域，再消量词，演算简单；但在(2)中，因为全称量词和存在量词均约束F与G中个体变量，因而它们的辖域不能缩小，消去量词后的公式也不易化的更简单。例子

12量词分配?x(A(x)∧B(x))??xA(x)∧?xB(x)?x(A(x)∨B(x))??xA(x)∨?xB(x)

13量词分配(反例)?x(A(x)∨B(x))??xA(x)∨?xB(x)?x(A(x)∨B(x))??xA(x)∨?xB(x)个体域为全体自然数;A(x):x是偶数,B(x):x是奇数;左?1,右?0?x(A(x)∧B(x))??xA(x)∧?xB(x)?x(A(x)∧B(x))??xA(x)∧?xB(x)个体域为全体自然数;A(x):x是偶数B(x):x是奇数;左?0,右?1

14基本规则1.置换规则设?