# Category:Implication Equivalent to Negation of Conjunction with Negative

Jump to navigation
Jump to search

This category contains pages concerning **Implication Equivalent to Negation of Conjunction with Negative**:

#### Formulation 1

- $p \implies q \dashv \vdash \neg \paren {p \land \neg q}$

#### Formulation 2

- $\vdash \paren {p \implies q} \iff \paren {\neg \paren {p \land \neg q} }$

## Pages in category "Implication Equivalent to Negation of Conjunction with Negative"

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

### I

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