Implications are Disjunctions.

\begin{equation*} P \imp Q \text{ is logically equivalent to } \neg P \vee Q\text{.} \end{equation*}

Example: “If a number is a multiple of 4, then it is even” is equivalent to, “a number is not a multiple of 4 or (else) it is even.”

in-context