Contradiction is Negation of Tautology/Proof 1

Proof
That is, the proposition:
 * If it's not true, it must be false

is valid only in the context where there are only two truth values.