# Category:Double Negation Elimination

Jump to navigation
Jump to search

This category contains pages concerning **Double Negation Elimination**:

The **rule of double negation elimination** is a valid argument in certain types of logic dealing with negation $\neg$.

This includes classical propositional logic and predicate logic, and in particular natural deduction, but for example not intuitionistic propositional logic.

### Proof Rule

- If we can conclude $\neg \neg \phi$, then we may infer $\phi$.

### Sequent Form

- $\neg \neg p \vdash p$

## Subcategories

This category has only the following subcategory.

## Pages in category "Double Negation Elimination"

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

### D

- Double Negation Elimination
- Double Negation Elimination implies Law of Excluded Middle
- Double Negation Elimination/Proof Rule
- Double Negation/Double Negation Elimination
- Double Negation/Double Negation Elimination/Formulation 1/Sequent Form
- Double Negation/Double Negation Elimination/Proof Rule
- Double Negation/Double Negation Elimination/Proof Rule/Tableau Form
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 1
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 1/Proof
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 2