2️⃣ Rule of double negation

=== double Negation (minimal logic) can be reduced to no negation at all==

Notation

(DN) $\frac{\neg \neg A}{A}$