Double Negation/Double Negation Introduction

Proof Rule
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.