Do you really want to send Tem42 a message saying you like their work?
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.
Need help? firstname.lastname@example.org