Double Negation/Double Negation Introduction
Jump to navigation Jump to search
The rule of double negation introduction is a valid argument in types of logic dealing with negation $\neg$.
This includes propositional logic and predicate logic, and in particular natural deduction.
- If we can conclude $\phi$, then we may infer $\neg \neg \phi$.
- $p \vdash \neg \neg p$