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

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 ( $⊤$ )
Non-congiunzione ( $↑$ ) · Implicazione inversa ( $\leftarrow$ ) · Implicazione ( $\to$ ) · Disgiunzione inclusiva ( $\lor$ )
Negazione ( $\neg$ ) · Disgiunzione esclusiva ( $\dot{\lor}$ ) · Doppia implicazione ( $\leftrightarrow$ ) · Proposizione
Non-disgiunzione inclusiva ( $↓$ ) · Non-implicazione ( $↛$ ) · Non-implicazione inversa ( $↚$ ) · Congiunzione ( $\land$ )
Contraddizione ( $⊥$ )