venn图实例 1.P∨(P∧Q=P2.P∧(P∨Q)=P P∧Q PVQ 3.-(P∨Q)=-P∧-Q
Venn图实例 1. P∨(P∧Q) = P 2. P∧(P∨Q) = P 3. (P∨Q) = P∧Q
ven图可以用来理解 集合间、命题逻辑中、 部分信息量间的一些 关系
Venn图可以用来理解 集合间、命题逻辑中、 部分信息量间的一些 关系
2.22若干常用的等值公式 等值演算中,由于人们对、V、∧更为熟 悉,常将含有→和+的公式化成仅含有、 、∧的公式。这也是证明和理解含有→, >的公式的一般方法。但后面的推理演算 中,更希望见到→和<
2.2.2 若干常用的等值公式 ⚫等值演算中，由于人们对、∨、∧更为熟 悉，常将含有→和的公式化成仅含有、 ∨、∧的公式。这也是证明和理解含有→， 的公式的一般方法。但后面的推理演算 中，更希望见到→和
11P、Q=P∨Q 12.逆否定理 P为Q=-Q>P
12. 逆否定理 P→Q=Q→P 11. P→Q = P ∨Q
13.前提合并 P→>(Q_R)=(P∧Q)-R 17.前提交换 P>(Q、R)=Q>(P-R) 18。另一种前提合并 (PR)∧(QR)=(PVQ)-R
13. 前提合并 P→(Q→R) = (P∧Q)→R 17. 前提交换 P→(Q→R) = Q→(P→R) 18. 另一种前提合并 (P→R) ∧(Q→R)=(P∨Q)→R