Negation of an Implication.

The negation of an implication is a conjunction:

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

That is, the only way for an implication to be false is for the hypothesis to be true AND the conclusion to be false.

in-context