离散数学第三章 命题逻辑的推理理论.pptVIP

离散数学第三章命题逻辑的推理理论第1页，共25页，星期日，2025年，2月5日3.1推理的形式结构定义3.1设A1,A2,…,Ak,B为命题公式.若对于每组赋值，A1?A2?…?Ak为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1,A2,…,Ak推出结论B的推理是有效的或正确的,并称B是有效结论.定理3.1由命题公式A1,A2,…,Ak推B的推理正确当且仅当A1?A2?…?Ak?B为重言式注意:推理正确不能保证结论一定正确第2页，共25页，星期日，2025年，2月5日推理的形式结构2.A1?A2?…?Ak?B若推理正确,记为A1?A2?…?Ak?B3.前提：A1,A2,…,Ak结论：B判断推理是否正确的方法:真值表法等值演算法主析取范式法推理的形式结构1.{A1,A2,…,Ak}B若推理正确,记为{A1,A2,?,An}B第3页，共25页，星期日，2025年，2月5日推理实例例1判断下面推理是否正确(1)若今天是1号，则明天是5号.今天是1号.所以,明天是5号.(2)若今天是1号，则明天是5号.明天是5号.所以,今天是1号.解设p：今天是1号，q：明天是5号.(1)推理的形式结构:(p?q)?p?q用等值演算法(p?q)?p?q??((?p?q)?p)?q??p??q?q?1由定理3.1可知推理正确第4页，共25页，星期日，2025年，2月5日推理实例(2)推理的形式结构:(p?q)?q?p用主析取范式法(p?q)?q?p?(?p?q)?q?p??((?p?q)?q)?p??q?p?(?p??q)?(p??q)?(p??q)?(p?q)?m0?m2?m3结果不含m1,故01是成假赋值，所以推理不正确第5页，共25页，星期日，2025年，2月5日推理定律——重言蕴涵式1.A?(A?B)附加律2.(A?B)?A化简律3.(A?B)?A?B假言推理4.(A?B)??B??A拒取式5.(A?B)??B?A析取三段论6.(A?B)?(B?C)?(A?C)假言三段论7.(A?B)?(B?C)?(A?C)等价三段论8.(A?B)?(C?D)?(A?C)?(B?D)构造性二难(A?B)?(?A?B)?B构造性二难(特殊形式)9.(A?B)?(C?D)?(?B??D)?(?A??C)破坏性二难每个等值式可产生两个推理定律如,由A???A可产生A???A和??A?A第6页，共25页，星期日，2025年，2月5日3.2自然推理系统P定义3.2一个形式系统I由下面四个部分组成：(1)非空的字母表，记作A(I).(2)A(I)中符号构造的合式公式集，记作E(I).(3)E(I)中一些特殊的公式组成的公理集，记作AX(I).(4)推理规则集，记作R(I).记I=A(I),E(I),AX(I),R(I),其中A(I),E(I)是I的形式语言系统,AX(I),R(I)是I的形式演算系统.形式系统一般分为两类：自然推理系统:无公理,即AX(I)=?公理推理系统推出的结论是系统中的重言式,称作