Law of Excluded Middle/Sequent Form/Proof 1
Jump to navigation
Jump to search
Theorem
The Law of Excluded Middle can be symbolised by the sequent:
- $\vdash p \lor \neg p$
Proof
By the tableau method of natural deduction:
Line | Pool | Formula | Rule | Depends upon | Notes | |
---|---|---|---|---|---|---|
1 | $p \lor \neg p$ | Law of Excluded Middle | (None) |
$\blacksquare$