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.
DefinizioneModifica
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 |
NotazioneModifica
Per indicare la negazione di una proposizione p si scrive, equivalentemente:
- ~
Altri progettiModifica
- Wikimedia Commons contiene immagini o altri file su negazione logica
Collegamenti esterniModifica
- negazione, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
- (EN) Negazione / Negazione (altra versione), su Enciclopedia Britannica, Encyclopædia Britannica, Inc.