## Thinking Mathematically (6th Edition)

$p\rightarrow q$ has a negation of $p\land \sim q$. If we want to form the negation of a conditional statement, we leave the antecedent as it was, change the implication to an "and" and negate the consequent.