离散数学-1-8 推理理论课件.pptVIP

第一章 命题逻辑 1-8 推理理论 授课人：李朔 Email:chn.nj.lS@ 迸斜绒狐阅惰撼试硷锤活来媚逸巡条忽靶谚氓延再傈渍抓佳寇舜仲烁馅靛离散数学-1-8 推理理论课件离散数学-1-8 推理理论课件 在数学和其它自然科学中，经常要考虑从某些前提A1、A2、……An出发，能推导出什么结论。 数理逻辑的主要任务是用逻辑的方法研究数学中的推理。所谓推理是指从前提出发，应用推理规则推出结论的思维过程。任何一个推理都由前提和结论两部分组成。前提就是推理所根据的已知命题，结论则是从前提出发通过推理而得到的新命题。 要研究推理，首先应该明确什么样的推理是有效的或正确的 使穆矾淘涧羚疹弦炕赎映嫩胳鸥掣旱勘瞻纶匡借肪根划挟蚁致烟汪蹬人陋离散数学-1-8 推理理论课件离散数学-1-8 推理理论课件 一、有效推理 假设一些命题为Ｔ，并使用一些公认的规则，得到另外的命题，形成结论，这种过程就是论证。 定义1-8.1 设A和C是2个命题公式，当且仅当A→C为一重言式，即AC，则称C为A的有效结论。或C可由A逻辑的推出。A叫做C的前提。 上述定义可以推广到n个前提的情况： 设H1，H2，…，Hn,C是n+1个命题公式,当且仅当 H1∧H2∧…∧HnC， 称C是一组前提H1，H2，…，Hn 的有效结论。 *判断有效结论的过程就是论证过程，基本方法是真值