O símbolo de negação lógica é usado em álgebra booleana para indicar que o valor verdadeiro da afirmação que se segue é invertido. O símbolo assemelha-se a um traço com uma 'cauda' (¬). O símbolo de subtração aritmética (-) ou til (~) também são usados para indicar a negação lógica.
O uso mais simples de um símbolo de negação é com uma única frase. Por exemplo, se A representa a frase "O céu é azul", então ¬A representa a frase "O céu não é azul" ou "Não é verdade que o céu é azul"."
O símbolo de negação é frequentemente encontrado dentro, ou antes, de afirmações lógicas complexas. Na álgebra booleana, o sinal de mais (+) representa o OU lógico inclusivo, e o asterisco (*) representa o E lógico. As regras de uso do símbolo de negação lógica tornam-se mais complicadas quando o símbolo aparece em expressões complexas. For example, these pairs of statements are not equivalent for all A and for all B:
¬(A + B)
(¬A) + (¬B)
¬(A * B)
(¬A) * (¬B)
However, the following pairs of statements are logically equivalent for all A and for all B:
¬(A + B)
(¬A) * (¬B)
¬(A * B)
(¬A) + (¬B)
Also see Boolean algebra, and the Mathematical Symbols .