¬A ∨ ¬B u \begin{matrix}¬A w & \begin{matrix}A ∧ B & v \\ A \end{matrix} ; ∧ − E_{L} \\ ⊥ \end{matrix} ; ⊃ −E \begin{matrix}¬B x & \begin{matrix}A ∧ B & v \\ B \end{matrix} ; ∧ − E_{R} \\ ⊥ \end{matrix} ; ⊃ −E

⊥ ∨ − E^{{w,x}}

¬(A ∧ B) ⊃ −I^{v}

(¬A ∨ ¬B) ⊃ ¬(A ∧ B) ⊃ −I^{u}