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.

Diagramma di Venn della negazione

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

Collegamenti esterni

• Negazione, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• negazione, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
• Negazióne, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
• negazióne, su sapere.it, De Agostini.
• (EN) negation / negation (altra versione), su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Laurence R. Horn e Heinrich Wansing, Negation, su Stanford Encyclopedia of Philosophy.
• (EN) Eric W. Weisstein, Negation, su MathWorld, Wolfram Research.
• (EN) Negation, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Controllo di autorità	GND (DE) 4137553-1