Law of Identity/Formulation 2/Proof 1

Theorem

 * $\vdash p \implies p$

Proof

 * align="right" | 2 ||
 * align="right" |
 * $p \implies p$
 * $\implies \mathcal I$
 * 1, 1
 * 1, 1


 * align="right" | 1 ||
 * align="right" |
 * $p \implies p$
 * Theorem Introduction
 * (None)
 * Law of Identity: Formulation 2
 * Law of Identity: Formulation 2

These are the second shortest tableau proofs possible.