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