Contrapositive

\(\not\)B \(\rightarrow\) \(\not\)A \(\equiv\) A \(\rightarrow\) B

When to use Contrapositive:

Proof by Contradiction

A ∧ \(\not\)A must be false. “A ∧ \(\not\)A must be true” is a Contradiction

When to use Contradiction: