Law of Identity

Context
Natural deduction.

Definition
Every proposition entails itself: $$p \vdash p$$

A seemingly trivial rule, but can be surprisingly useful to get a particular formula into the right place in a proof.

Proof
This is the shortest tableau proof possible: