Law of Excluded Middle/Proof Rule/Tableau Form
Jump to navigation
Jump to search
Proof Rule
Let $\phi$ be a well-formed formula.
The Law of Excluded Middle is invoked in the following manner:
| Pool: | None | ||||||||
| Formula: | $\phi \lor \neg \phi$ | ||||||||
| Description: | Law of Excluded Middle | ||||||||
| Depends on: | Nothing | ||||||||
| Abbreviation: | $\text{LEM}$ |