离散数学--推理理论.pptVIP

§1.6 推理理论 一、有效论证推理规则 二、基本蕴涵式 三、自然推理系统P 四、推理证明的方法 一、有效论证与推理规则 定义：A1∧A2∧…∧An→A,其为永真式，则称由前提A1,A2,…,An得到有效结论A；从前提公式得到有效结论的过程称为正确推理。 若A?B是永真式，则记为A?B； 若A→B是永真式，则记为A?B。 前提一致和不一致： 如果前提A1∧A2∧…∧An为可满足式，则称为前提A1,A2,…,An一致。 实例分析 判断推理是否正确：张红不管有无空闲都不看电影。张红看了电影。所以张红有空闲时间又没有空闲时间。 解：P:张红有空闲时间；Q：张红看电影 。 前提：A1=P∨? P→? Q A2=Q 结论：A=P∧? P 问题：该结论是否有效结论。(该推理是否正确)。 基本蕴涵式 (A→B) ∧? B?? A的证明 法一、真值表法： 自然推理系统P 形式系统 自然推理系统P 自然推理系统P定义如下： 1.字母表 (1)命题常元，命题变元：P,Q,R,…,Pi,Qi,…,1,0(T,F) (2)命题联结词：?、∧、∨、→、 ? (3)括号：(,) 2.合式公式：(略) 3.推理规则： (1).前提引入规则(P规则)：