Implikasi adalah Disjungsi.
\begin{equation*}
P \imp Q \equiv \neg P \vee Q\text{.}
\end{equation*}
Contoh: “Jika suatu bilangan merupakan kelipatan 4, maka bilangan itu genap” ekuivalen dengan “Suatu bilangan bukan kelipatan 4, atau (jika bukan demikian) bilangan itu genap.”