論理式（含意演算・論理和・論理積）

((P→Q) ∧ (Q→P)) → (R→$\overline{Q}$)

((P→Q) ∧ ($\overline{Q→P}$)) → (Q→R)

((P→$\overline{Q}$) ∨ (Q→P)) → (R→$\overline{Q}$)

((P→$\overline{Q}$) ∨ (Q→$\overline{P}$)) → (Q→R)