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