Negazione (matematica)

In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.

Definizione

Data una proposizione p si ha che ¬p è falsa se p è vera, ed è vera se p è falsa. La tabella di verità della negazione è la seguente:

$p$	$\neg p$
F	V
V	F

Notazione

Per indicare la negazione di una proposizione p si scrive, equivalentemente:

• $\neg p$

• ~$p$

• ${\bar {p}}$

• $!p$

• $p'$

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file sulla negazione logica

Collegamenti esterni

• negazione, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
• (EN) negation / negation (altra versione), su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Negazione, su MathWorld, Wolfram Research.

Controllo di autorità	GND (DE) 4137553-1