inverse

This note last modified February 23, 2022

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

contrapositive