Negation implies Negation of Conjunction

From ProofWiki
Jump to navigation Jump to search

Theorem

Case 1

$\neg p \implies \neg \paren {p \land q}$

Case 2

$\neg q \implies \neg \left({p \land q}\right)$