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 | modifica wikitesto]

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:

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

Controllo di autorità	GND (DE) 4137553-1

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

V · D · M Connettivi logici
Tautologia ( $\top$ )
Non-congiunzione ( $\uparrow$ ) · Implicazione inversa ( $\leftarrow$ ) · Implicazione ( $\rightarrow$ ) · Disgiunzione inclusiva ( $\lor$ )
Negazione ( $\neg$ ) · Disgiunzione esclusiva ( ${\dot {\lor }}$ ) · Doppia implicazione ( $\leftrightarrow$ ) · Proposizione
Non-disgiunzione inclusiva ( $\downarrow$ ) · Non-implicazione ( $\nrightarrow$ ) · Non-implicazione inversa ( $\nleftarrow$ ) · Congiunzione ( $\land$ )
Contraddizione ( $\bot$ )