离散数学 1 8推理理论 精选文档.pptVIP

1 第一章 命题逻辑 1-8 推理理论 授课人：李朔 Email:chn.nj.lSgmail 2 在数学和其它自然科学中，经常要考虑从某些前 提 A 1 、 A 2 、……A n 出发，能推导出什么结论。 数理逻辑的主要任务是用逻辑的方法研究数学中 的推理。所谓 推理 是指从前提出发，应用推理规 则推出结论的思维过程。任何一个推理都由前提 和结论两部分组成。前提就是推理所根据的 已知 命题 ，结论则是从前提出发 通过推理而得到的新 命题。 要研究推理，首先应该明确 什么样的推理是有效 的或正确的 3 一、有效推理 1. 假设一些命题为Ｔ，并使用一些公认的规则，得 到另外的命题，形成结论，这种过程就是 论证 。 2. 定义 1-8.1 设 A 和 C 是 2 个命题公式，当且仅当 A → C 为一重言式，即 A ? C ，则称 C 为 A 的有效结论 。 或 C 可由 A 逻辑的推出。 A 叫做 C 的前提 。 3. 上述定义可以推广到 n 个前提的情况： 4. 设 H 1 ， H 2 ， … ， H n , C 是 n +1 个命题公式 , 当且仅 当 H 1 ∧ H 2 ∧ … ∧ H n ? C ， 5. 称 C 是一组前提 H 1 ， H 2 ， … ， H n