Law of Identity/Formulation 1/Proof 1

Theorem

$p \vdash p$

Proof

By the tableau method of natural deduction:

$p \vdash p$
Line Pool Formula Rule Depends upon Notes
1 1 $p$ Premise (None)

$\blacksquare$

This is the shortest tableau proof possible.