Double Negation/Double Negation Introduction

Proof Rule
The rule of double negation introduction is a valid deduction sequent in propositional logic.