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

第三章 命题逻辑的推理理论;3.1 推理的形式结构;二、推理的形式结构及证明方法;2．推理的形式结构（多种形式） （1）设?={ A1, A2, …, Ak} ?┣B （2）A1?A2?…?Ak?B （3）前提： A1, A2, … , Ak 结论： B;3．判断推理是否正确的方法（多种） （1）真值表法 （2）等值演算法 （3）主析取范式法 （4）构造证明法;例 判断下面推理是否正确?（1）若今天是1号，则明天是5号. 今天是1号. 所以明天是5号. （2）若今天是1号，则明天是5号. 明天是5号. 所以今天是1号. ;证明：（2）（用主析取范式法） (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是成假赋值,所以推理不正确;4.推理定律 （1）推理定律——重言蕴涵式 （2）重要的推理定律 A ? (A?B) 附加律 (A?B) ? A 化简律 (A?B)?A ? B