[理学]离散数学 谓词逻辑2.pptVIP

* 前束范式转换 一般公式向前束范式转换的步骤： 1. 先把公式中的联结词转换为?, ∨, ∧ 2. 使用量词转换律和摩根律把公式中的?移到简单命题函数的前面 3. 利用约束元换名规则和自由元代入规则，使所有约束元和自由元均不重名 4. 把所有量词以公式中出现的顺序移到公式最前面 * 前束范式转换例 2）?x ?y(?z P(x,z) ∧ P(y,z)) → ?u Q(x, y, u) 解: ?x ?y(?z P(x,z) ∧ P(y,z)) → ?u Q(x, y, u) ???x ?y(?z P(x, z) ∧ P(y,z)) ∨?u Q(x, y, u) /*消去规则*/ ??x?y(?z ?P(x, z) ∨?P(y, z)) ∨ ?u Q(x,y,u) /*量词转化律*/ ??x?y(?w ?P(x,w) ∨?P(y,z)) ∨ ?u Q(s, t, u) /*改名及代入规则*/ ??x ?y ?w ?u(?P(x,w) ∨?P(y,z) ∨ Q(s,t,u)) /*量词辖域扩张*/ * 前束范式转换练习 3) (?x P(x,y) ? ?y Q(y)) ? ?xR(x) 解： 原式 ? ?(?x P(x,y) ? ?y Q(y)) ? ?xR(x) ? (?x?P(x,y) ? ?y?Q(y)) ? ?xR(x) /*量词转化律*/ ? (?x?P(x,t) ? ?y?Q(y)) ? ?zR(z) /*改名及代入规则*/ ? (?x ?y(?P(x,t) ? ?Q(y))) ? ?z R(z) /*辖域扩张*/ ? ?x ?y ?z ((?P(x,t) ??Q(y)) ? R(z) ) /*辖域扩张*/ 3. ?z A(z) ∨ B ? ?z (A(z) ∨ B) 1.?x A(x) ∧ B ? ?x (A(x) ∧ B) 2.?y A(y) ∧ B ? ?y (A(y) ∧ B) * 谓词演算的推理理论 前提和结论都以谓词公式表示。 如：前提：P1，P2,…,Pn， 结论：Q (1) P1,P2,…,Pn ? Q (2) P1 ? P2 ? … ? Pn ? Q * 谓词演算的推理方法 谓词演算的推理方法，可以看作是命题演算推理方法的扩展。 (1) 命题演算中的蕴含式和等价式可推广到谓词演算中使用。 (2) P、T和CP规则等都可以在谓词的推理理论中应用。 (3)某些前提与结论可能会受量词限制，为了使用这些等价式和蕴含式，必须在推理过程中使用消去和添加量词的规则（US、ES、UG、EG），以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。 * 消去和添加量词的规则 消去量词的规则 全称指定规则（US规则）（Universal Specify） 存在指定规则（ES规则）（Existential Specify） 添加量词的规则 全称推广规则（UG规则）（Universal Generalize） 存在推广规则（EG规则）（Existential Generalize） 量词这四条重要推理规则只能对前束范式使用 * 全称指定规则（US规则） ?xP(x)?P(c) 全称指定规则说明： ① 若个体域中的所有个体x都使得谓词P(x)为真，则个体域中任一个体c也使得谓词P(x)为真。 ② 体现了在逻辑推理中由一般到特殊的推导方法 * 存在指定规则（ES规则） ?xP(x) ? P(c) 存在指定规则说明：若个体域中存在一些个体满足谓词P，则至少有某个确定的个体c满足谓词P。 * 全称推广规则（UG规则） P(c) ??xP(x) 全称推广规则说明：对个体域中任意一个个体c，如果能够证明，P(c)为真，则可得结论?xP(x) * 存在推广规则（EG规则） P(c)??xP(x) 存在推广规则说明：如果能够证明，存在着个体域中的个体c，使P成立，就能得出一般性的结论?xP(x) * 例1、苏格拉底三段论证明 苏格拉底三段论： 凡是人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 符号化：H(x):x是一个人。M(x):x 是要死的。s:苏格拉底。 前提：(?x) (H(x) ? M(x)) H(s) 结论： M(s) 证明： (1) (?x) (H(x)?M(x)) P (2) H(s)?M(s)