Matematica Negazione: Operazione logica unitaria

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

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

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