Principle of Non-Contradiction/Sequent Form/Formulation 1/Proof 1

Theorem

$p, \neg p \vdash \bot$

Proof

By the tableau method of natural deduction:

$p, \neg p \vdash \bot$

Line		Pool	Formula	Rule	Depends upon	Notes
1		1	$p$	Premise	(None)
2		2	$\neg p$	Premise	(None)
3		1, 2	$\bot$	Principle of Non-Contradiction: $\neg \EE$	1, 2

$\blacksquare$