(idea) by Tem42 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

del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
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.