Posted on Leave a comment

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.”