Símbolo de negación lógica

El símbolo de negación lógica se usa en el álgebra de Boole para indicar que el valor de verdad del enunciado que sigue está invertido. El símbolo se asemeja a un guión con una 'cola' (¬). El símbolo de resta aritmética (-) o tilde (~) también se utilizan para indicar negación lógica.

El uso más simple de un símbolo de negación es con una sola oración. Por ejemplo, si A representa el enunciado "El cielo es azul", entonces ¬A representa el enunciado "El cielo no es azul" o "No es cierto que el cielo sea azul".

El símbolo de negación se encuentra a menudo dentro o antes de enunciados lógicos complejos. En álgebra de Boole, el signo más (+) representa el OR lógico inclusivo y el asterisco (*) representa el Y lógico. Las reglas para el uso del símbolo de negación lógica se vuelven más complicadas cuando el símbolo aparece en declaraciones complejas. Por ejemplo, estos pares de declaraciones no son equivalentes para todo A y para todo B:

¬ (A + B)
(¬A) + (¬B)

¬ (A * B)
(¬A) * (¬B)

Sin embargo, los siguientes pares de declaraciones son lógicamente equivalentes para todo A y para todo B:

¬ (A + B)
(¬A) * (¬B)

¬ (A * B)
(¬A) + (¬B)

Consulte también Álgebra de Boole y Símbolos matemáticos.