1.5推理规则和证明方法.pdfVIP

离散数学 Discrete Mathematics 数理逻辑 1.5 推理规则与证明方法 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 引言 什么时候数学论证是正确的？ 用什么方法来构造数学论证？ 数理逻辑的主要任务是用数学的方法来研究推理过 程。 所谓推理是指从前提出发推出结论的思维过程 前提是已知命题公式集合，结论是从前提出发应用 推理规则推出的命题公式。 要研究推理就应该给出推理的形式结构，为此，首 先应该明确什么样的推理是有效的或正确的。 2011-1-10 离散数学 2 1.5.1 推理规则 前几节所讲的命题演算, 本质上和简单的开 关代数一样, 简单的开关代数是命题演算的 一种应用。 现在, 我们从另一角度研究命题演算, 即从 逻辑推理角度来理解命题演算。 2011-1-10 离散数学 3 4个推理的例子 设x属于实数, P : x是偶数, Q: x2是偶数。 例 1 2 如果x 是偶数, 则x 是偶数。 P →Q 前提 x 是偶数。 P 2 结论 ∴Q x 是偶数。 在每一例子中, 横线上的是前提, 例 2 横线下的是结论。右侧是例子的 逻辑符表示。 2 如果x 是偶数, 则x 是偶数。 P →Q 2 x 是偶数。 Q x 是偶数。 离散数学 2011-1-10 ∴P 4 例 3 2 如果x 是偶数, 则x 是偶数。 P →Q x 不是偶数。 P 2 x 不是偶数。 ∴ Q 例 4 2 如果x 是偶数, 则x 是偶数。 P →Q 2 x 不是偶数。 Q x 不是偶数。 ∴ P 2011-1-10