-谓词演算的推理理论.pptVIP

第二章 谓词逻辑第6讲 第6讲 §2—7 谓词演算的推理理论 要求：熟练掌握谓词的推理理论与推理方法，会用谓词的推理理论与推理方法进行推理。 重点：应用谓词的推理理论与推理方法进行推理。 难点：正确理解和运用有关量词规则。  谓词逻辑是命题逻辑的进一步深化和发展，谓词演算的推理方法，可以看作是命题演算推理方法的扩张。因此命题逻辑的推理理论在谓词逻辑中几乎可以完全照搬，只不过这时涉及的公式是谓词逻辑的公式罢了。 在谓词逻辑中，某些前提和结论可能受到量词的约束，为确立前提和结论之间的内部联系，有必要消去量词和添加量词，因此正确理解和运用有关量词规则是谓词逻辑推理理论中十分重要的关键所在。 一、有关量词消去和添加规则 量词消去规则（证前去量词）： (1) 全称量词消去规则(称为全称指定规则，简称US规则) (?x)A(x)?A(c)： 其中c为论域中任意个体常元 （举例说明） 量词产生规则（证后加量词）： (3) 存在量词产生规则(称为存在推广规则，简称EG规则) A(c)?(?y)A(y) 其中c为论域中特定个体常元 二、Lp中推理实例： Lp的推理方法是Ls推理方法的扩展，因此在Lp中利用的推理规则： （1）T规则、P规则和CP规则 （2）已知的等价式，蕴含式 （3）有关量词的消去和产生规则。 使用的推理方法是：直接构造法和间接证法（不能用真值表）。 所有谓词的推理，均可先忽略量词，按命题逻辑中分析基本思路及所用方法，然后再注意证前去量词，证后加量词，并注意次序即可 例题1 证明苏格拉底论证： 所有的人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。 （1）原来的作用变元相同： 例题4 构造下面推理的证明： 每个学术会的成员都是专家并且是工人，有些成员是青年人，所以有些成员是青年专家。 例5 任何人违反了交通规则都要处以罚款，如果没有罚款，就没有人违反交通规则。 (7) (? z) ( ┐ P(z) ∨ ┐ R(b,z)) UG(6) (8) ┐(? z) ( P(z) ∧ R(b,z)) T(7)E (9) ┐(? y) (S(b,y) ∧ M(y)) T(2)(8)I (10) (? y) (┐ S(b,y) ∨ ┐ M(y)) T(9)E (11) (? y) (S(b,y) → ┐ M(y)) T(10)E (12) （ ? x) (? y) (S(x,y) → ┐ M(y)) UG(11) ┐(? z)P(z)→(?x)(?y)(S(x,y)→ ┐M(y)) CP 例中（7） ? （8），（9） ? （10），（10） ? （11）都是错误步骤。 其中（7） ? （8），（9） ? （10）还犯了省略步骤的错误。 在推理过程中，谓词公式只能用表２－１所列的蕴含式与等价式； 除表中所列的带量词的公式外，一般的不能在量词后面的辖域内进行蕴含推证或等价变换，因此必须消除量词后，才能对谓词公式进行蕴含或等价推证； 在作了适当的推演后，再恢复约束关系，以完成带量词公式的逻辑推证． (7)┐( P(a) ∧ R(b,a)) T(6)E (8)(? z) ┐( P(z) ∧ R(b,z)) UG(7) (9)┐(? z) ( P(z) ∧ R(b,z)) T(8)E (10) ┐(? y) (S(b,y) ∧ M(y)) T(2)(9)I (11) (? y) ┐(S(b,y) ∧ M(y)) T(10)I (12) ┐(S (b, c) ∧ M(c)) US(11) (13) ┐S(b,c) ∨ ┐ M(c) T(12)E (14) S(b,c) → ┐ M(c) T(13)E (15) (? y) (S(b,y) → ┐ M(y)) UG(14) (16)(? x) (? y) (S(x,y) → ┐ M(y)) UG(15) (17)┐(?z)P(z)→(?x)(?y)(S(x,y)→ ┐M(y)) CP 数理逻辑在计算机科学中的用途： (1) 作为知识表示的手段，因为日常生活中的或数学领域中的命题，大多能用谓词逻辑的符号表达式，便于计算机处理； (2) 研究形式推理，为计算机进行自动推理提供方法和理论。 第二个用途过于专门和复杂，已超过本课程教学大纲的要求。但是，第一个用途