:吸收律的证明. formula_1(P ∨ 0) ∧ (P ∨ Q) = P ∨ (0 ∧ Q) = P ∨ 0 = P(P ∧ 1) ∨ (P ∧ Q) = P ∧ (1 ∨ Q) = P ∧ 1 = P这里的 = 号要理解为公式上的逻辑等价。吸收律对相干逻辑、线性逻辑和亚结构逻辑不成立。在亚结构逻辑情况下，在恒等式的定义对的自由变量之间没有一一对应。