Negazione (matematica)

Questa voce sull'argomento logica è solo un abbozzo.

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:

Per approfondire, vedi Negazione logica (simbolo).

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

$matematica$ 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 ( $\or$ )
Negazione ( $\neg$ ) · Disgiunzione esclusiva ( $\dot{\lor}$ ) · Doppia implicazione ( $\leftrightarrow$ ) · Proposizione
Non-disgiunzione inclusiva ( $\downarrow$ ) · Non-implicazione ( $\nrightarrow$ ) · Non-implicazione inversa ( $\nleftarrow$ ) · Congiunzione ( $\and$ )
Contraddizione ( $\bot$ )