title: Negazione (matematica)
text: # 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'$
  