Posted on

# Negation of a Conditional Statement

$\neg (p \rightarrow q) \equiv p \land \neg q$

The negation of “if p then q” is logically equivalent to “p and not q.”