Il simbolo di negazione logica viene utilizzato nell'algebra booleana per indicare che il valore di verità dell'affermazione che segue è invertito. Il simbolo ricorda un trattino con una "coda" (¬). Il simbolo di sottrazione aritmetica (-) o tilde (~) sono usati anche per indicare la negazione logica.
L'uso più semplice di un simbolo di negazione è con una singola frase. Ad esempio, se A rappresenta l'affermazione "Il cielo è blu", ¬A rappresenta l'affermazione "Il cielo non è blu" o "Non è vero che il cielo è blu".
Il simbolo di negazione si trova spesso all'interno o prima di affermazioni logiche complesse. Nell'algebra booleana, il segno più (+) rappresenta l'OR logico inclusivo e l'asterisco (*) rappresenta l'AND logico. Le regole per l'uso del simbolo di negazione logica diventano più complicate quando il simbolo appare in affermazioni complesse. Ad esempio, queste coppie di istruzioni non sono equivalenti per tutti A e per tutti B:
¬ (A + B)
(¬A) + (¬B)
¬ (A * B)
(¬A) * (¬B)
Tuttavia, le seguenti coppie di istruzioni sono logicamente equivalenti per tutti A e per tutti B:
¬ (A + B)
(¬A) * (¬B)
¬ (A * B)
(¬A) + (¬B)
Vedi anche Algebra booleana e Simboli matematici.