# Category:Conjunction Equivalent to Negation of Implication of Negative

Jump to navigation
Jump to search

This category contains pages concerning **Conjunction Equivalent to Negation of Implication 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 Equivalent to Negation of Implication of Negative"

The following 8 pages are in this category, out of 8 total.

### C

- Conjunction Equivalent to Negation of Implication of Negative
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 1
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 1/Forward Implication
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 1/Proof by Truth Table
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 1/Reverse Implication
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 2
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 2/Proof 1
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 2/Proof by Truth Table