Saturday, November 5, 2011

$$\equiv$$ Theorem 2: p $$\equiv$$ p

$$\hspace{2 cm}$$ p $$\equiv$$ p
$$\hspace{0.5 cm} =$$ the $$\equiv$$ Identity Axiom. $$p \equiv p \equiv true$$
$$\hspace{2 cm}$$ true. QED