Teorema 1.3.9. Negasi Implikasi.
Negasi suatu implikasi adalah konjungsi:
\begin{equation*}
\neg(P \imp Q) \equiv P \wedge \neg Q\text{.}
\end{equation*}
Artinya, satu-satunya cara suatu implikasi bernilai salah adalah ketika hipotesisnya benar DAN kesimpulannya salah.