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
Sign up
Need help? accounthelp@everything2.com