Category:Non-Equivalence as Equivalence with Negation
Jump to navigation
Jump to search
This category contains pages concerning Non-Equivalence as Equivalence with Negation:
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}$
Pages in category "Non-Equivalence as Equivalence with Negation"
The following 9 pages are in this category, out of 9 total.
N
- Non-Equivalence as Equivalence with Negation
- Non-Equivalence as Equivalence with Negation/Formulation 1
- Non-Equivalence as Equivalence with Negation/Formulation 1/Forward Implication
- Non-Equivalence as Equivalence with Negation/Formulation 1/Forward Implication/Proof
- Non-Equivalence as Equivalence with Negation/Formulation 1/Proof 1
- Non-Equivalence as Equivalence with Negation/Formulation 1/Proof by Truth Table
- Non-Equivalence as Equivalence with Negation/Formulation 1/Reverse Implication
- Non-Equivalence as Equivalence with Negation/Formulation 1/Reverse Implication/Proof
- Non-Equivalence as Equivalence with Negation/Formulation 2