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

第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 证明苏格拉底论证： 所有的人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。;例题2 证明;（1）原来的作用变元相同：;例题3 证明;方法（２）：用CP规则;例题4 构造下面推理的证明： 每个学术会的成员都是专家并且是工人，有些成员是青年人，所以有些成员是青年专家。;例5 任何人违反了交通规则都要处以罚款，如果没有罚款，就没有人违反交通规则。 ;(1) (?x)((?y)(S(x,y)∧M(y))→(?z) (P(z)∧R(x,z))) P (2) (?y)(S(b,y)∧M(y))→(?z) (P(z)∧R(b,z)) US(1) (3) ┐(? z)P(z) P（附加前提） (4) (? z) ┐ P(z) T(3)E (5) ┐ P(a) US(4) (6) ┐ P(a) ∨ ┐ R(b,a) T(5)I ;(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;;在推理过程中，谓词公式只能用表２－１所列的蕴含式与等价式； 除表中所列的带量词的公式外，一般的不能在量词后面的辖域内进行蕴含推证或等价变换，因此必须消除量词后，才能对谓词公式进行蕴含或等价推证； 在作了适当的推演后，再恢复约束关系，以完成带量词公式的逻辑推证．;(1) (?x)((?y)(S(x,y)∧M(y))→(?z) (P(z)∧R(x,z))) P (2) (?y)(S(b,y)∧M(y))→(?z) (P(z)∧R(b,z)) US(1) (3) ┐(? z)P(z) P（附加前提） (4) (? z) ┐ P(z) T(3)E (5) ┐ P(a) US(4) (6) ┐ P(a) ∨ ┐ R(b,a) T(5)I ;(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;数理逻辑在计算机科学