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:

${\displaystyle p}$	${\displaystyle \neg p}$
F	V
V	F

Notazione

Lo stesso argomento in dettaglio: Negazione logica (simbolo).

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

• ${\displaystyle \neg p}$

• ~${\displaystyle p}$

• ${\displaystyle {\bar {p}}}$

• ${\displaystyle !p}$

• ${\displaystyle p'}$

Altri progetti

Altri progetti

• Wikizionario
• Wikimedia Commons

• Wikizionario contiene il lemma di dizionario «negazione»
• 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

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica