离散数学 谓词逻辑.pptVIP

第十一章 谓词逻辑 基本谓词永真公式 基本等式： (1)命题中所有等式都是谓词等式 如：由等式 P?Q=?P∨Q ，在谓词中就可对应有： P(x)?Q(y)=?P(x)∨Q(y) (2)含量词的谓词等式 例5. 试证： ?x(P(x)?Q(x))= ?xP(x)??xQ(x) 11.4 谓词逻辑公式的永真公式 证明： 左边= ?x(? P(x)∨Q(x)) 由(36) = ?x? P(x)∨?xQ(x) 由P17 = ??xP(x)∨?xQ(x) 由P1 = ?xP(x) ? ?xQ(x) 由(36) §11.7 谓词逻辑的推理理论 11.7 谓词逻辑的推理理论 谓词演算系统包含命题演算系统，所以命题 演算中的推理规则（P规则、T规则、CP规则） 都可以作为谓词演算中的推理规则。 使用关于量词的消去和添加的四条重要蕴含式 作为推理规则。 ?量词 11.7 谓词逻辑的推理理论 1、消去量词的规则 ① US规则(全称特指规则) ② ES规则(存在特指规则） ?xA(x)├A(a) ?xA(x)├A(c) 确定的个体 11.7 谓词逻辑的推理理论 2、引入量词的规则： ③ UG规则(全称推广规则) ④ EG规则(存在推广规则) A(a)├?yA(y) A(c)├?yA(y) 11.7 谓词逻辑的推理理论 谓词推理的一般步骤： 1) 利用US或ES规则除去公式前的量词； 2) 用命题的推理方法进行推理； 3) 再利用UG或EG规则在公式前加上量词； 4) 反复上述步骤，直至得到结论。 11.7 谓词逻辑的推理理论 例5.证明三段论方法的正确性。 凡人要死。 苏格拉底是人。 苏格拉底要死。 令 H(x)：x是人。M(x)：x要死。a：苏格拉底。 则本题要证明：?x(H(x)→M(x)),H(a)├M(a) 证明： 1)H(a) P 2)?x(H(x)→M(x)) P 3) H(a)→M(a) (2),US) 4)M(a) (1),3),假言推论) 11.7 谓词逻辑的推理理论 例6. 试证: ?x(A(x)→B(x)), ?xA(x)├?xB(x) 证明: 1)?x A(x) P 2) A(c) 1), ES 3)?x (A(x) →B(x)) P 4)A(c)→B(c) 3),US 5)B(c) 2),4),假言推论 6)?x B(x) 5),EG §11.5 自由变元与约束变元 11.5 自由变元与约束变元 在一个谓词公式中，形如?xA(x)或?xA(x)的那 一部分称为公式的x约束部分。 如?x(R(x)→Q(x)) 辖域 A(x)称为量词?x或?x的辖域 。 11.5 自由变元与约束变元 约束出现：x在公式的x约束部分的任一出现 都称为x的约束出现。 约束变元 若x的出现不是约束出现，则称为x的自由出现。 自由变元 例1). ?xP(x)∧?yQ(x,y) 约束变元 约束变元 11.5 自由变元与约束变元 练习：1) ?x(P(x)∧?yQ(x,y)) 2) ?xP(x)∧Q(x) 约束出现 自由出现 改名 ? 11.5 自由变元与约束变元 例2. 设: N(x):x是自然数。 R(x):x是实数。 翻译: ?x(N(x)→R(x)) 所有的自然数都是实数。 ?y(N(y)→R(y)) 11.5 自由变元与约束变元 约束变元改名规则： 1)必须将量词后的变元及其辖域中出现的对应约束 变元一起更改，其余部分不变。 2)新约束变元的符号不可与辖域中的其它变元同名。 (最好与公式中的所有变元都不同名) 11.5 自由变元与约束变元 例3. ?x(M(x) →D(x , y) )∧P(x) 将约束变元 x 换成z得： ?z(M(z)→D(z, y) )∧P(x) ?z(M(z)→D(x, y) )∧P(x) ?y(M(y)→D(y, y) )∧P(x) 11.5 自由变元与约束变元 自由变元代入规则: 1)必须将公式中所有该变元一起代入， 其余部分不变。 2)新变元不允许在原公式中以约束形式出现. 11.5 自由变元与约束变元 例4. ?x(M(x)→D(x,y) )∧