第32讲 谓词逻辑中的推理.pptVIP

第32讲 谓词逻辑中的推理 离散数学 4.6 谓词逻辑中的推理 第4章 谓词逻辑 本讲内容 4.6 谓词逻辑中的推理 1. 逻辑蕴涵式 本讲内容 本讲内容 小结与作业 Any Questions 谓词逻辑中的逻辑蕴涵式 1 谓词逻辑中的基本推理规则 2 谓词逻辑中的自然推理系统 3 首先, 根据命题逻辑中的逻辑蕴涵式可以产生谓词逻辑的逻辑蕴涵式. 如在命题逻辑中有p ? q, p ? q, 则(p ? q) ? p ? q永真, 对于谓词公式A和B, (A ? B) ? A ? B永真, 从而有A ? B, A ? B. 其次,可以得出与量词有关的一些逻辑蕴涵式. 例4-19 证明?xA(x) ? A(t). Proof 因为由4.3节例2知, ?xA(x) ? A(t)永真. 例4-20 证明?x?yA(x, y) ? ?y?xA(x, y). Proof 任意给定个体域D上的解释I, 假定在该解释下?x?yA(x, y)取1, 则存在d0 ? D, 对于任意d? D,有A(d0, d)为1, 所以?y?xA(x, y)为1. 因此,?x?yA(x, y) ? ?y?xA(x, y)永真. 故之. 例4-21 证明?y?xA(x, y)不是?x?yA(x, y)的有效结论. Proof D = R, A(x, y): x y +3. ?y?xA(x, y)? ?x?yA(x, y)? ?x?yA(x, y) ? ?y?xA(x, y)? 谓词逻辑中的逻辑蕴涵式 1 谓词逻辑中的基本推理规则 2 谓词逻辑中的自然推理系统 3 2.基本推理规则 命题逻辑中的基本推理规则可以很方便地推广到谓词逻辑, 参见上章3.7节. 谓词逻辑中有两个非常重要与量词有关的逻辑蕴涵式. Theorem 4-1 下列逻辑蕴涵式成立: (1) ?xA(x) ? ?xB(x) ? ?x(A(x) ? B(x)). (2) ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x). How to remember? D = {班上同学}, A(x): x会唱歌, B(x): x会跳舞. 例4-22 证明或反驳下列结论. (1) ??xA(x) ? ?x?A(x). (2) ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x). Solution (1) D = Z, A(x): x是偶数. (2) D = {1, 2}, ?x(A(x) ? B(x)) = 1? ?xA(x) ? ?xB(x) = 0? 谓词逻辑中的逻辑蕴涵式 1 谓词逻辑中的基本推理规则 2 谓词逻辑中的自然推理系统 3 3.谓词逻辑的自然推理系统 谓词逻辑的自然推理系统是命题逻辑的自然推理系统的一种推广. 初始符号增加了函词、谓词、量词；谓词公式的形成规则参见4.2节谓词公式的定义；没有公理；基本推理规则增加定理4-1中两个逻辑蕴涵式,以及下述4个与量词有关的基本推理规则. 我们以最简洁的方式加以介绍. I. US(Universal quantifier Specification)规则: 全称量词消去规则 (1) ?xA(x) (2) A(c) (其中c为个体域中任意个体) II.UG(Universal quantifier Generalization)规则: 全称量词产生规则 (1) A(c) (其中为个体域中任意个体) (2) ?xA(x) III.ES(Existential quantifier Specification)规则: 存在量词消去规则 (1) ?xA(x) (2) A(c) (其中c为个体域中某个体) Remark 由?xA(x)推出A(c), 要确保c与其他自由变元无关. IV.EG(Existential quantifier Generalization)规则: 存在量词产生规则 (1) A(c) (其中c为个体域中某个体) (2) ?xA(x) 例4-23 证明苏格拉底三段论推理的有效性. Proof 用s:苏格拉底, P(x): x是人, D(x): x是要死的, (1)P(s) P (2)?x(P(x) ? D(x)) P (3)P(s) ? D(s) US(2) (4)D(s) T(1)(3) 例4-24 用构造法证明以下推理: ?x(F(x) ? G(x)), ?xF(x) ? ?xG(x). Proof (1) ?xF(x) P (2) F(c) ES(