Category:Conjunction with Negative Equivalent to Negation of Implication
Jump to navigation
Jump to search
This category contains pages concerning Conjunction with Negative Equivalent to Negation of Implication:
Formulation 1
- $p \land \neg q \dashv \vdash \neg \paren {p \implies q}$
Formulation 2
- $\vdash \paren {p \land \neg q} \iff \paren {\neg \paren {p \implies q} }$
Pages in category "Conjunction with Negative Equivalent to Negation of Implication"
The following 10 pages are in this category, out of 10 total.
C
- Conjunction with Negative Equivalent to Negation of Implication
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 1
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 1/Forward Implication
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 1/Proof by Truth Table
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 1/Reverse Implication
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 2
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 2/Forward Implication
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 2/Proof 1
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 2/Proof by Truth Table
- Conjunction with Negative Equivalent to Negation of Implication/Formulation 2/Reverse Implication