命题逻辑推理理论离散数学精品.pptVIP

@武溪大字m 2.4命题逻辑推理理论 24.1推理的形式结构 n推理及其形式结构 推理定律 242自然推理系统P 自然推理系统的定义 证明方法  @武溪大字m 24.1推理的形式结构 什么是推理 定义219设A1,A2,…,Ak,B都是命题公式,若对于 每组赋值,A1∧A2A…AAk为假,或者当A1AA2A…AAk 为真时,B也为真,则称由前提A1,A2,…,A推B的推 理有效或推理正确,并称B是有效的结论。  @武溪大字m 定理28由前提A1,A2,…,Ak推出B的推理正确当且仅当 A1∧A2…入A→B为重言式 如果把(A1^A2…^Ak)→B为永真式记为: A1A2A…AA→B 上式的含义???  @武溪大字m 、推理的形式结构 定义2.20称(A1∧A2^…AA)→B为由前提A1, A2,…,Ak推结论B的推理的形式结构。 推理的形式结构一般有以下三种: 形式(1)A1^A2…AAk→B 形式(2)前提:A1,A2,…,Ak 结论:B 形式(3)A1,A2, A,→B  @武溪大字m 判断推理是否正确的方法 真值表法 等值演算法 主析取范式法 构造证明法 真值表的方法参见P67例223。