Law of Excluded Middle/Sequent Form/Proof 1

From ProofWiki
Jump to navigation Jump to search


The Law of Excluded Middle can be symbolised by the sequent:

$\vdash p \lor \neg p$


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)