Essential Ideas for Section 2.2
Law of Double Negation
Law of Contraposition
A conditional may always be replaced by its contrapositive without having its truth value affected.