20210109第三章复习

第 3 章 命题逻辑的推理理论

如果前提不正确，无论结论是否正确，都说推理正确

蕴含式（→）是重言式，就是双横杠箭头（=>），表示推理正确
等价式（<->）是重言式，就是双横杠双向箭头（<=>），表示左右等值

推理规则：
1.前提引入规则、
2.结论引入规则、
3.置换规则、
4.假言推理规则（分离规则）：A->b,A => B
5.附加规则：A => AVB
6.化简规则：A 合取 B => A
7.拒取式规则：A->B , 非 B => 非 A
8.假言三段论规则：A->B，B->C => A->C
9.析取三段论规则：AVB，非 B => A
10.构造性二难推理规则：A->B，C->D，AVC => BVD
11.破坏性二难推理规则：A->B，C->D，非 BV 非 D => 非 AV 非 C
12.合取引入规则：A，B => A 合取 B

两种构造证明方法：
附加前提证明法
归谬法