Negation implies Negation of Conjunction

From ProofWiki
Jump to: navigation, search

Theorem

Case 1

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

Case 2

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