吸收律吸收律的证明(P ∨ 0) ∧ (P ∨ Q) = P ∨ (0 ∧ Q) = P ∨ 0 = P(P ∧ 1) ∨ (P ∧ Q) = P ∧ (1 ∨ Q) = P ∧ 1 = P这里的 = 号要理解为公式上的逻辑等价
吸收律对相干逻辑、线性逻辑和亚结构逻辑不成立
在亚结构逻辑情况下，在恒等式的定义对的自由变量之间没有一一对应
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
