离散数学--2.4 命题逻辑推理理论

2.4 命题逻辑推理理论
• 2.4.1 推理的形式结构
– 推理的前提与结论,正确推理
– 推理定律
• 2.4.2 自然推理系统P
– 推理规则
– 直接证明法, 附加前提证明法,
归谬法(反证法), 归结证明法

 

推理定律——重言蕴涵式    左边是真的，右边就是真的。

7、拒取式：->  非B --> 非A

8、假言三段推理：--->  -->

9、析取三段论：并，有一个是非，  那另一个是原样。