Near Matches Ignore Exact

Double Negation (idea)

See all of Double Negation, no other writeups in this node.

Confirm

Do you really want to send Tem42 a message saying you like their work?

X

by Tem42

Sun Nov 14 1999 at 9:01:25

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

Material Implication	Divide-by-zero joke	contrapositive	propositional logic
DeMorgan's Rule	Destructive Dilemma	double negative	syllogism
not un-	paraconsistent logic	triple negative	Law of Syllogism
E2 Annex	Rules of Inference	quantifier	Litotes
Disjunctive Syllogism	Desmond Morris	aspect	Polygamy
conjunction	distribution

Everything2 ™ is brought to you by Everything2 Media, LLC. All content copyright © original author unless stated otherwise.