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