Kontrapositionsgesetz

\begin{align*} (A \Rightarrow B) \Leftrightarrow (\lnot B \Rightarrow \lnot A) \end{align*}