Proofs:Contraposition

Let $P$ and $Q$ be propositions such that $P\implies Q$. Then, the contrapositive of the conditional statement "$P\implies Q$" (read as "if P, then Q" or "P implies Q") is "<math> \neg Q \implies \neg P </math (read as "if not Q, then not P" or "not Q implies not P">.