Law of Excluded Middle/Sequent Form/Proof 1

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:

$\vdash p \lor \neg p$

Line		Pool	Formula	Rule	Depends upon	Notes
1			$p \lor \neg p$	Law of Excluded Middle	(None)

$\blacksquare$