Proof by Contrapositive [GS]

A typical proof of the implication might proceed as follows (notice a combination of proof techniques, assuming the antecedent and proof by contradiction):

• Assume p.
• Prove q by contradiction. That is, assume and prove false.

This technique is really a proof by contrapositive in disguise:

(Contrapositive)