11.6谓词逻辑永真公新式.pptVIP

11.6 谓词逻辑的永真公式;谓词公式的解释I包括： 指定一个论域D(称I为D上的解释) 对A中出现的每一个n元函数，指定一个D上的 n元个体函数常量 对A中出现的每一个n元谓词，指定一个D上的n元谓词常量 对A中出现的每一个个体常量及自由变元，指定D中的一个个体常量 对A中出现的每一个命题变元P，指派一个真值T或F 由此得到一个命题AI，称AI的真值为公式A在解释I 下的真值;例;?x?yP(x,y);?y?xP(x,y);例;谓词公式的永真式;例：试说明以下公式的类型;永真式的判定;问题与否问题;问题证明的一般方法;例：试判断?xA(x)∨?xB(x) → ?x(A(x)∨B(x))是否是永真式，并说明理由。;不妨取;例(续前)：试判断?xA(x)∨?xB(x) → ?x(A(x)∨B(x))是否是永真式，并说明理由。;总结;谓词公式的等价;谓词公式的蕴含;谓词演算的基本永真公式;例 ;(2) 量词辖域的扩张和收缩 ?xP(x)∨Q??x(P(x)∨Q) (3) ＇ ?xP(x)∧Q??x(P(x)∧Q) (4) ＇ ?xP(x)∨Q??x(P(x)∨Q) (5) ＇ ?xP(x)∧Q??x(P(x)∧Q) (6) ＇;(5) 量词辖域的扩张和收缩;(3) 关于多个量词的永真式 ?x?yA(x,y)??y?xA(x,y) (7) ＇ ?x?yA(x,y)??y?xA(x,y) (8) ＇ ?x?yA(x,y)??y?xA(x,y) (9) ＇ ?x?yA(x,y)??y?xA(x,y) ?y?xA(x,y)??x?yA(x,y) ?x?yA(x,y)??x?yA(x,y) ?y?xA(x,y)??x?yA(x,y) ?y?xA(x,y)??x?yA(x,y);;(6) 量词的分配形式 ?x(A(x)∧B(x))??xA(x)∧?xB(x) (16) ＇ ?x(A(x)∨B(x))??xA(x)∨?xB(x) (17) ＇ ?xA(x)∨?xB(x)??x(A(x)∨B(x)) (18) ＇ ?x(A(x)∧B(x))??xA(x)∧?xB(x) (19) ＇ 证明式16： 个体域中每一个体x，使得 A(x)∧B(x)为真, 等价于对一切x, A(x)是真并且对一切x, B(x)是真 证明式17：由1得?x(? A(x)∧ ? B(x))??x?A(x)∧?x?B(x) 即 ??x(A(x)∨B(x))? ?(?xA(x)∨?xB(x)) 故 ?x(A(x)∨B(x))? ?xA(x)∨?xB(x) ;注意：式18和式19不是等价公式，而是永真蕴含式 例： 给定如下解释 A(x)： x是奇数 B(x)：x是偶数 则 ?xA(x)∧?xB(x)为真 ?x(A(x)∧B(x)) 为假 所以?xA(x)∧?xB(x)不蕴含?x(A(x)∧B(x)) 或 D={1,2} A(1): T A(2): F B(1): F B(2): T;证明式19 ?x(A(x)∧B(x))??xA(x)∧?xB(x) 证明：假设前件?x(A(x)∧B(x))为真， 则论域中至少有一个个体a，使得 A(a)∧B(a)为真， 即A(a)和B(a)都为真， 所以有?xA(x)以及?xB(x)为真，得 ?xA(x)∧?xB(x)为真 所以 ?x(A(x)∧B(x))??xA(x)∧?xB(x);证明式18 ?xA(x)∨?xB(x)??x(A(x)∨B(x)) 证明：由3得 ?x(?A(x)∧?B(x))??x?A(x)∧?x?B(x) ?x?(A(x)∨B(x))???xA(x)∧??xB(x) ??x(A(x)∨B(x))??(?xA(x)∨?xB(x)) 即?xA(x)∨?xB(x)??x(A(x)∨B(x)) 公式4得证。 特别要注意蕴含式的方向，不要搞错;(7) 量词对?及→的处理 ?x(A(x)→B(x))??xA(x)→?xB(x) ?xA(x)→?xB(x)??x(A(x)→B(x)) 证明1. ?xA(x)→?xB(x) ???xA(x)∨?xB(x) ??x?A(x)∨?xB(x) ??x(?A(x)∨B(x)) ??x(A(x)→B(x)) 证明2. ?xA(x)→?xB(x) ???xA(x)∨?xB(x) ??x?A(x)∨?xB(x) ??x(?A(x)∨B(x)) ??x(A(x)→B(x));几条规则(命题演算的推广);替换规则 设A(x1, x2,…, xn) ?B(x1, x2, …, xn), 而A是公式C中的子公式, 将B替换C中之A