Negazione (matematica)

Questa voce sull'argomento logica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

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

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

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'}$

• Wikimedia Commons contiene immagini o altri file sulla negazione

• 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.

V · D · M Connettivi logici
Tautologia ( ${\displaystyle \top }$ )
Non-congiunzione ( ${\displaystyle \uparrow }$ ) · Implicazione inversa ( ${\displaystyle \leftarrow }$ ) · Implicazione ( ${\displaystyle \rightarrow }$ ) · Disgiunzione inclusiva ( ${\displaystyle \lor }$ )
Negazione ( ${\displaystyle \neg }$ ) · Disgiunzione esclusiva ( ${\displaystyle {\dot {\lor }}}$ ) · Doppia implicazione ( ${\displaystyle \leftrightarrow }$ ) · Proposizione
Non-disgiunzione inclusiva ( ${\displaystyle \downarrow }$ ) · Non-implicazione ( ${\displaystyle \nrightarrow }$ ) · Non-implicazione inversa ( ${\displaystyle \nleftarrow }$ ) · Congiunzione ( ${\displaystyle \land }$ )
Contraddizione ( ${\displaystyle \bot }$ )

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