为了进行推理演算, 需引入一些基本的重言蕴涵式, 作为基本的推理公式(或称推理定律), 进而在推理演算中直接引用。对这些公式皆可根据蕴涵的定义用真值表法或其它方法加以验证, 也可给予直观的语义说明。
  这节还介绍证明AB的几种方法。

一、基本的推理公式

  1. P∧QP   化简率
2. (P→Q)P
3. (P→Q)Q
4. PP∨Q   附加率
5. PP→Q
6. QP→Q
7.P∧(P∨Q)Q   析取三段论
8. P∧(P→Q)Q   假言推理
9. Q∧(P→Q)P   拒取式
10.(P→Q)∧(Q→R)P→R   假言三段论
11.(PQ)∧(QR)PR   等价三段论
12.(P→R)∧(Q→R)∧(P∨Q)R
13.(P→Q)∧(R→S)∧(P∨R)Q∨S   构造性二难
14.(P→Q)∧(R→S)∧(Q∨S)P∨R   破坏性二难
15.(Q→R)((P∨Q)→(P∨R))
16.(Q→R)((P→Q)→(P→R))