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

No comments:

Post a Comment