(idea) by Tem42 Sun Nov 14 1999 at 9:01:25

Double Negation (DN for short) is a rule of inference used in Propositional Logic.

¬ ¬P = P
('Not not P' = 'P')

Back up to Rules of Inference
Review your Logic symbols

I like it!