离散数学课件：2-5 谓词演算的推理理论.ppt

谓词演算的推理规则 谓词演算的推理规则 谓词演算的推理规则 关于US, UG, ES, EG 的说明 US, ES又叫删除量词规则，其作用是在推导中删除量词. 一旦删除了量词，就可用命题演算的各种规则与方法进行推导. UG, EG的作用则是在推导过程中添加量词，使结论呈量化形式. 全称量词与存在量词的基本差别也突出地体现在删除和添加量词规则使用中. 例如，ES中P(c)的c取特定值，而US中P(c)的c可取任意值. 在UG规则使用中更要注意这方面的分析才不会引出错误的结论. * * 五、谓 词 演 算 的 推 理 理 论 谓词演算的推理规则 (1) 全称指定规则 (US, Universal Specification)： (y为不在P(x)中约束出现的任意个体变元) (?x)P(x) (c为个体域中的任意一个个体常量) ? P(c) (?x)P(x) ? P(y) (2) 全称推广规则 (UG, Universal Generalization)： ? (?x)P(x) P(x) 五、谓词演算的推理理论 (3) 存在指定规则 (ES, Existential Specification)： (?x)P(x) (c为使P为真的特定的个体常量) ? P(c) 五、谓词演算的推理理论 (4) 存在推广规则 (EG, Existential Generalization)： ? (?x)P(x) P(c) 五、谓词演算的推理理论 五、谓词演算的推理理论 例2.5.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) (3) H(s) (4) M(s) US(1) P T(2)(3), I 五、谓词演算的推理理论 例2.5.2 构造下面推理的证明： 任何自然数都是整数，存在着自然数，所以存在着整数. （这里，个体域为实数集R.） 证： 先将原子命题符号化：设F(x): x是自然数. G(x): x为整数. 则前提： (?x)(F(x)?G(x)), (?x)F(x); (1) (?x)F(x) P (2) F(c) (3)(?x)(F(x)?G(x)) ES(1) P 结论： (?x)G(x). (4) F(c)?G(c) US(3) (5) G(c) T(2)(4), I (6) (?x)G(x) EG(5) 五、谓词演算的推理理论 例2.5.2这样来证可以吗？ 证： 前提： (?x)(F(x)?G(x)), (?x)F(x); (1) (?x)(F(x)?G(x)) P (2) F(c)?G(c) (3) (?x)F(x) US(1) P 结论： (?x)G(x). (4) F(c) ES(3) (5) G(c) T(2)(4), I (6) (?x)G(x) EG(5) 当既有含存在量词的前提，又有含全称量词的前提时，在证明中先引入带存在量词的前提. 当有多个含存在量词的前提时，对每个前提使用ES规则所引入的变元应与以前不同. ? 五、谓词演算的推理理论 例2.5.3 构造下面推理的证明： 证： 前提： (?x)(F(x)?G(x)), (?x)(F(x) ? H(x)); (1) (?x)(F(x) ? H(x)) P (2) F(c) ? H(c) (3)(?x)(F(x)?G(x)) ES(1) P 结论： (?x)(G(x) ? H(x)). (4) F(c)?G(c) US(3) (7) H(c) T(2), I (8) G(c) ? H(c) T(6)(7), I （注意：在证明序列中先引入带存在量词的前提.） (5) F(c) T(2), I (6) G(c) T(4)(5), I (9) (?x)(G(x) ? H(x)) EG(8) 五、谓词演算的推理理论 例2.5.4 构造下面推理的证明 (个体域为实数集合) ： 不存在能表示成分数的无理数；有理数都能表示成分数. 因此，有理数都不是无理数. 证： 先将原子命题符号化：设F(x): x是无理数. G(x): x为有理数. H(x): x能表示成分数. 则前提： ?(?x)(F(x) ? H(x)), (?x)(G(x)?H(x)); (1) ?(?x)(F(x) ? H(x)) P (2) (?x)(?F(x)??H(x))