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