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 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
Per indicare la negazione di una proposizione p si scrive, equivalentemente:
- ~
Altri progetti modifica
- Wikimedia Commons contiene immagini o altri file sulla negazione logica
Collegamenti esterni modifica
- negazione, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
- (EN) negation / negation (altra versione), su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Negazione, su MathWorld, Wolfram Research.
Controllo di autorità | GND (DE) 4137553-1 |
---|