User:Lord Farin/Tableau Proof Rules/Excluded Middle

Excluded Middle
This axiom is denied by the intuitionistic school.

We have $p \lor \neg p$ for any $p$.


 * align="right" | $i$ ||
 * align="right" | (None)
 * $p \lor \neg p$
 * $\textrm {LEM}$
 * (None)
 * (None)