# Implication Equivalent to Negation of Conjunction with Negative

$p \implies q \dashv \vdash \neg \paren {p \land \neg q}$
$\vdash \paren {p \implies q} \iff \paren {\neg \paren {p \land \neg q} }$