Double Negation/Double Negation Introduction
Jump to navigation
Jump to search
Proof Rule
The rule of double negation introduction is a valid deduction sequent in propositional logic.
Proof Rule
- If we can conclude $\phi$, then we may infer $\neg \neg \phi$.
Sequent Form
- $p \vdash \neg \neg p$
