contrapositive

This note last modified September 1, 2024

---

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

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