User:Lord Farin/Tableau Proof Rules/Excluded Middle
Jump to navigation
Jump to search
Excluded Middle
This axiom is denied by the intuitionistic school.
We have $p \lor \neg p$ for any $p$.
| Line | Pool | Formula | Rule | Depends upon | Notes | |
|---|---|---|---|---|---|---|
| $i$ | (None) | $p \lor \neg p$ | Law of Excluded Middle | (None) |
Wiki code
|- | align="right" | $i$ || | align="right" | (None) | $p \lor \neg p$ | [[Law of Excluded Middle]] | (None)