An implication fails in one way

The negation of an implication is not another implication. It says $P$ holds and $Q$ fails: $\lnot (P \Rightarrow Q) \equiv P \land \lnot Q$.

This is how you write the negation of a claim, and how you describe a counterexample to “if $\ldots$ then $\ldots$”.