inverseThis note last modified February 23, 2022 \(p\rightarrow q\) then inverse is \(\neg p \rightarrow \neg q\)contrapositive