Category:Biconditional Equivalent to Biconditional of Negations
Jump to navigation
Jump to search
This category contains pages concerning Biconditional Equivalent to Biconditional of Negations:
Formulation 1
- $p \iff q \dashv \vdash \neg p \iff \neg q$
Formulation 2
- $\vdash \left({p \iff q}\right) \iff \left({\neg p \iff \neg q}\right)$
Pages in category "Biconditional Equivalent to Biconditional of Negations"
The following 5 pages are in this category, out of 5 total.
B
- Biconditional Equivalent to Biconditional of Negations
- Biconditional Equivalent to Biconditional of Negations/Formulation 1
- Biconditional Equivalent to Biconditional of Negations/Formulation 1/Forward Implication
- Biconditional Equivalent to Biconditional of Negations/Formulation 1/Reverse Implication
- Biconditional Equivalent to Biconditional of Negations/Formulation 2