11.
P→Q = P∨Q
通常对P→Q进行运算时, 不如用 P∨Q来得方便。而且以 P∨Q表示P→Q帮助我们理解如果P则Q的逻辑含义。问题是这种表示也有缺点,丢失了P、Q间的因果关系。
12. P→Q = Q→ P
如将P→Q视为正定理, 那么 Q→ P就是相应的逆否定理,
它们必然同时为真, 同时为假, 所以是等值的。
13. P→(Q→R) = (P∧Q)→R
P是(Q→R)的前提, Q是R的前提, 于是可将两个前提的合取P∧Q作为总的前提。 即如果P则如果Q则R, 等价于如果P与Q则R。
14. P Q
= (P∧Q)∨( P∧ Q)
这可解释为P Q为真,
有两种可能的情形, 即(P∧Q)为真或( P∧ Q)为真。而P∧Q为真,
必是在P = Q = T的情况下出现, P∧ Q为真,
必是在P = Q = F的情况下出现。从而可说, P Q为真,
是在P、Q同时为真或同时为假时成立。这就是从取真来描述这等式。
15. P Q
= (P∨ Q)∧( P∨Q)
这可解释为P Q为假,
有两种可能的情形, 即(P∨ Q)为假或( P∨Q)为假,
而P∨ Q为假,
必是在P = F, Q = T的情况下出现, P∨Q为假,
必是在P = T, Q = F的情况下出现。从而可说P Q为假,
是在P真Q假或P假Q真 时成立。这就是从取假来描述这等式。
16. P Q
= (P→Q)∧(Q→P)
这表明P Q成立,
等价于正定理P→Q和逆定理Q→P都成立。
17. P→(Q→R) = Q→(P→R)
前提条件P、Q可交换次序。
18. (P→R) ∧(Q→R)=(P∨Q)→R
左端说明的是由P而且由Q都有R成立。从而可以说由P或Q就有R成立, 这就是等式右端。
|