Negazione (matematica)

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Diagramma di Venn della negazione

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:

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

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

  • ~

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

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