离散2-6.pptVIP

2001 * * §2.6　命题逻辑的推理理论 例: “苏格拉底三段论”: 如果苏格拉底是人,则苏格拉底会死. 苏格拉底是人. 所以苏格拉底会死. 如何用数学的方法来研究这段推理呢? 定义: 设 为命题公式, 为重言式, 能推出结论B. 也称 为重言蕴含式. 记作: 此时称 的逻辑结论 则称B是 或有效结论. 这里 称为前提条件. 注意: 与 的区别. 意味着 且 若 判定B是否为A1,A2, …,An的逻辑结论, 是否是重言式. 其方法有: 真值表法 等价演算法 形式证明法 例: 证明下列推理是有效的: 如果苏格拉底是人,则苏格拉底会死. 苏格拉底是人. 所以苏格拉底会死. 解:首先将该推理符号化: 设p:苏格拉底是人,q:苏格拉底会死. 等价于判定 前提: p→q, 结论: q 要证明q是p→q, p的有效结论, 即要证明((p→q) ∧ p) →q是重言式. p 例: 证明下列推理是有效的: 如果苏格拉底是人,则苏格拉底会死. 苏格拉底是人. 所以苏格拉底会死. 解:首先将该推理符号化: 设p:苏格拉底是人,q:苏格拉底会死. 前提: p→q, 结论: q 即要证明((p→q) ∧ p) →q是重言式. p 前提: p→q, p 结论: q 真值表法: 要证明q是p→q, p的有效结论,即要证明((p→q) ∧ p) →q是重言式. 等价演算法: ((p→q) ∧ p) →q 0 0 0 1 1 0 1 1 ((p→q) ∧ p) →q 0 0 0 1 1 0 1 1 ﹁((﹁p∨q) ∧p) ∨q (﹁(﹁p∨q) ∨p) ∨q ((p∧﹁q) ∨p) ∨q ﹁q ∨q 1 给出B是A1,A2, …,An的有效结论的形式证明是指构造一个以B作为最后一项的命题公式的序列,要求这个序列中的每一个公式要么是前提条件之一,要么是由在前的一个或多个公式经推理规则推出 形式证明 (演绎)法: (是在前的公式的有效结论). 利用形式证明,需要建立若干推理规则 在证明中，如果有一个或多个公式可以有效地推出公式S，则公式S可以引入到证明序列之中。 推理规则: (1) P规则 在证明任何步骤都可以引入前提。 (2) T规则 (前提引入规则)： (结论引入规则)： 在证明的任何步骤中，命题公式中的任何子公式都可以用与之等价的命题公式置换。 (3) 置换规则: 在证明的任何步骤中，重言式中的任何一个命题变元都可以用一个命题公式代入,得到的仍然是重言式。 (4) 代入规则: 推理规则: (1) P规则 (2) T规则 (前提引入规则)： (结论引入规则)： (3) 置换规则 (4) 代入规则 (5) 附加规则: (6) 化简规则: (7) 假言推理规则: 分离规则( MP 规则 ) 例: 如果苏格拉底是人,则苏格拉底会死. 苏格拉底是人. 所以苏格拉底会死. 推理规则: (1) P规则 (2) T规则 (前提引入规则)： (结论引入规则)： (3) 置换规则 (4) 代入规则 (5) 附加规则: (6) 化简规则: (7) 假言推理规则: 分离规则( MP 规则 ) (8) 拒取式规则: (9) 析取三段论规则: (10) 假言三段论规则: (11) 等价三段论规则: (12) 构造性二难规则: (13) 合取引入规则: 例: 证明下列推理是有效的: 如果苏格拉底是人,则苏格拉底会死. 苏格拉底是人. 所以苏格拉底会死. 证:首先将该推理符号化: 设p:苏格拉底是人,q:苏格拉底会死. 前提: p→q, 结论: q p 演绎: ① P ② p P ③ q T①②MP 故上述推理为有效推理. p→q 证明序列 序列标号 注释 例: 公安局在侦破一件案子时,发现如下线索: (1) 凶手为王某或陈某; 如果王某是凶手,则他在作案当晚必外出; 王某案发当晚并未外出. 于是得出结论:陈某是凶手! 问该推理是否有效? 证: 设p:王某是凶手, q:陈某是凶手, 于是上述推理可符号化为: ﹁r p→r, p∨q, 演绎: ① P ② ﹁r P ③ ﹁p T①②拒取式 故上述推理为有效推理. p→r r:王某在案发当晚外出. q ④ p∨q P ⑤ q T③④析取三段论 推理规则: (1) P规则 (2) T规则 (前提引入规则)： (结论引入规则)： (3) 置换规则 (4) 代入规则 (5) 附加规则: (6) 化简规则: (7) 假言推理规则: 分离规则( MP 规则 ) (8) 拒取式规则: (9) 析取三段论规则: (10) 假言三段论规则: (11) 等价三段论规则: (12) 构造性二难规则: (13) 合取引入规则: 注: 1)除P规则、