Non-Equivalence as Equivalence with Negation
Jump to navigation
Jump to search
Theorem
Formulation 1
- $\neg \paren {p \iff q} \dashv \vdash \paren {p \iff \neg q}$
Formulation 2
- $\vdash \neg \paren {p \iff q} \iff \paren {p \iff \neg q}$