jeremykun.com
Methods of Proof — Contrapositive
In this post we’ll cover the second of the “basic four” methods of proof: the contrapositive implication. We will build off our material from last time and start by defining funct…