第25讲 命题逻辑中的推理.pptVIP

离散数学 第25讲 命题逻辑中的推理 第3章 命题逻辑 3.7 命题逻辑中的推理 本讲内容 3.7 命题逻辑中的推理 逻辑学的主要内容是研究推理, 推理是从一些前提推出结论的思维过程. 数理逻辑主要是用数学的方法研究逻辑中的推理, 它关心的是推理形式的有效性问题. 小结与作业 * * 推理形式有效性的定义 1 基本推理规则 2 命题逻辑的自然推理系统 3 下面两个不同的推理 (a)若两直线平行,则同位角相等, 这两直线是平行的, 所以, 同位角相等. (b)若两个三角形全等,则其对应边相等, 这两个三角形全等, 所以, 它们的对应边相等. 都具有如下的推理形式: 由p ? q, p 得出q. 所谓推理形式的有效性是指, 如果前提全为真, 那么所得结论必然真, 而不考虑前提和结论的真实含义. 有效的推理形式是四海皆准的推理规则. 1. 推理形式有效性的定义 Def 3-13(logically follows) Theorem 的充要条件 由上述定理, 知 “?” 是关系符号,它与蕴涵联结词 “?”是不同的. 从推理的角度看, 将“=”写成“?”更适合: Theorem 3-13 设A和B是命题公式, 则A = B的充要条件是A ? B且B ? A. Hint 命题公式间的永真蕴涵关系是偏序关系. (1) A ? A(自反性). (2)若A ? B且B ? A, 则A = B(反对称性). (3)若A ? B且B ? C, 则A ? C(传递性). 命题公式间的?关系还具有下面两条性质. Theorem 3-15 (1) 若A ? C且B ? C, 则A ? B ? C. (2) 若C ? A且C ? B, 则C ? A ? B . Theorem 3-16 设A, B是命题公式, 则对于命题公式间的“?”关系: (1) sup{A, B} = A ? B. (2) inf{A, B} = A ? B. 2. 基本推理规则 下面举例说明,证明推理形式有效性的4种方法. 例3-29 设A和B是命题公式, 证明: A ? B, A ? B. 分析: (p ? q) ? p ? q永真? Proof 1 真值表法. Proof 2 取值法. (p ? q) ? p = 1, q = 1? Proof 3 等值演算法. (p ? q) ? p ? q = 1? Proof 4 主范式法. 主析取范式: 主合取范式: 不存在. 基本推理规则或基本蕴涵式I. (1) (2) (3) (4) (5) (6) (7) (8) 基本等值式E: 表3-24. 3. 命题逻辑的自然推理系统 作为推理系统,原则上有以下四个部分： 第一, 它应有初始符号,它是系统中允许出现的字符. 自然推理系统的初始符号有3类: (1) 命题变元. (2) 5个联结词. (3) 左右圆括号. 第二, 定义推理系统中的公式,它是按一定的形成规则得到的有意义的符号串. 粗略地说,它就是命题公式, 但它原则上不出现除?, ?, ?, ?, ?外的其它联结词, 同时原则上不出现命题常量1和0. 第三, 确定公理, 就是推理系统中不加推导就承认的公式. 从语义的角度看,它就是永真式. 自然推理系统中没有公理, 这一点是与公理推理系统截然不同的. 第四, 确定推理规则. 在自然推理系统中,把所有与5个联结词有关的基本逻辑蕴涵式都作为推理规则(见表1), 同时,一个基本等值式(见下表2)相当于两个基本逻辑蕴涵式. 两个最基本的推理规则： P规则 所给的前提在证明过程中随时可以引用. T规则 已经推出的公式在以后的证明过程中可以随时引用. 自然推理系统的显著特点是没有公理,作为推理依据的只有推理规则. 这似乎更符合人们日常思维的推理习惯,因此称为自然推理. 在进行自然推理时, 采用构造性证明方法, 简称“构造法”, 更准确地应该说是数理逻辑中的演绎(deduction)法. 通过一个例子了解证明的书写格式. 例 3-30 使用构造法证明: Proof (1)p ??s P (2)p T(1)I (3)?s T(1)I (4)p ?(q ? r) P (5)q ? r T(2)(4)I (6)?s ? ?q P (7)?q T(3)(6)I (8)r T(5)(7)I 从证明过程可以看出,每一行由3部分组成：第一部分是编号,说明它是证明的第几步；第二部分仅写一个命题公式,实际上编号说明了它是第几个命题公式;