Double Negation

created by Tem42
(idea) by Tem42 (4.2 hr) (print)   ?   (I like it!) Sun Nov 14 1999 at 9:01:25
Or (DN) for short. It's a rule of Propositional Logic.

~ ~P = P
('Not not P' = 'P')

See also: Everything Logic Symbols, Distructive Dilemma, Disjuctive Syllogism, DeMorgan's Rule, Distribution, Conjunction

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.