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
Log in or register to write something here or to contact authors.
Lost password
Sign Up
Need help? accounthelp@everything2.com