Negazione (matematica)

operazione logica unitaria
(Reindirizzamento da ¬)

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

modifica

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:

   
F V
V F

Notazione

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

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

  •  
  • ~ 
  •  
  •  
  •  

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàGND (DE4137553-1
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica