contrapositive

This note last modified January 18, 2022

---

\(p \rightarrow q\) then contrapositive is \(\neg q \rightarrow \neg p\)

Note that \((p \rightarrow q) \rightarrow (\neg q \rightarrow \neg p)\)