第三章命题逻辑推理理论.pptVIP

第三章 命题逻辑的推理理论 第二章 命题逻辑等值演算 推理的形式结构 自然推理系统P 知 识 点：推理的形式结构、推理理论、自然系统P、推理规则 教学要求：深刻理解和掌握命题逻辑中的基本推理方法 教学重点：推理理论、推理规则 学时: 2 §3.1 推理的形式结构 论证是指由一些前提出发得到某个结论，在数理逻辑中 需要讨论论证的有效性 提出正确的推理规则和可行的推理方法 A1, A2,…, An为前提, B为结论 称 { A1, A2,…, An }┝ B 为推理的形式结构 定理3.1 命题公式A1, A2,…, An推B是正确的当且仅当 A1?A2?…?An?B 为重言式, 即 A1?A2?…?An ? B 并称B为前提 A1, A2,…, An 的有效结论 或称B为前提 A1, A2,…, An 的逻辑结果 当前提为真时结论也为真 , 但推理正确并不能保证有效结论B一定为真 例如：设p为“太阳从西边升起”, q为”太阳从东边落下” p?q为 “如果太阳从西边升起则太阳从东边落下” 推理 {p,p?q} ┝ q是正确的,即q是前提的有效结论,但q是个假命题 §3.1 推理的形式结构 推理的形式结构: 前提: A1, A2,…, An