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.