Negación lógica

, se puede definir la operación unaria: negación (símbolo ¬), por la que a una variablese le asigna el valor negado de la variableAunque estas ideas funcionan tanto en la lógica clásica como en la intuicionista, no funcionan en cambio en la lógica paraconsistente, donde las contradicciones no son necesariamente falsas.Estas álgebras ofrecen una semántica para las lógicas clásica e intuicionista, respectivamente.Esto marca una importante diferencia entre la negación clásica e intuicionista.Algebraicamente, la negación clásica es llamada una involución de periodo dos.Hay varias formas equivalentes entre sí, de formular reglas para la negación.En este caso, la regla dice que dado p y ¬p concluimos en un absurdity.Junto a la eliminación de la doble negación, se puede inferir la regla originalmente formulada, a saber, que cualquier cosa que se desprende de un absurdo.Típicamente, la negación intuicionista ¬p de p se define como p→⊥.En este caso, podemos también agregar como regla primitiva ex falso quodlibet.Así como en matemática, la negación es ampliamente usada en ciencias de la computación para construir expresiones lógicas.significa NO lógico en B, C, y otros lenguajes inspirados en la sintaxis de C como C++, Java, Perl, PHP, etc. "NOT" es el operador usado en ALGOL 60, BASIC, COBOL, y lenguajes inspirados en la sintaxis de ALGOL como Pascal, Ada, Seed7, etc. Algunos lenguajes (C++, Perl, etc.) proveen más de un operador para la negación.Esta operación se usa normalmente para generar el complemento a uno o "~" en C o C++ y el complemento a dos (sólo simplificado a "-" o el signo negativo ya que esto es equivalente a tomar el valor aritmético negativo del número) ya que básicamente genera el opuesto (valor negativo equivalente) o complemento matemático del valor (donde ambos valores se agregan juntos para crear un todo).Para obtener el valor absoluto (equivalente positivo) de un entero dado, el siguiente código trabajaría cambiando el signo de negativo a positivo (es negativo porque "x < 0" resulta verdadero) Para demostrar la negación lógica: Invirtiendo la condición y revirtiendo las salidas, se genera código que es lógicamente equivalente al código original, es decir, que obtendremos idénticos resultados para cualquier entrada.(Nota: Dependiendo del compilador utilizado, las instrucciones reales ejecutadas por la computadora pueden diferir).