# Double Negation/Double Negation Introduction

## 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$