标签：
2.4 命题逻辑推理理论
• 2.4.1 推理的形式结构
– 推理的前提与结论,正确推理
– 推理定律
• 2.4.2 自然推理系统P
– 推理规则
– 直接证明法, 附加前提证明法,
归谬法(反证法), 归结证明法
推理定律——重言蕴涵式 左边是真的，右边就是真的。
7、拒取式：-> 非B --> 非A
8、假言三段推理：---> -->
9、析取三段论：并，有一个是非， 那另一个是原样。
标签：
原文地址：http://www.cnblogs.com/zrui513/p/5187065.html
