Pregunta 5 Equivalencia lógica
En lógica, declaraciones p y q sea lógicamente equivalente si tienen el mismo contenido lógico.
Sintácticamente, p y q sea equivalente si cada uno puede ser probado del otro. Semántico, p y q sea equivalente si tienen igual valor de verdad en cada modelo.
La equivalencia lógica se confunde a menudo con equivalencia material. El anterior es una declaración en metalenguaje, demandando algo sobre declaraciones p y q en lengua de objeto. Pero la equivalencia material de p y q (escrito a menudo “p ↔ q“) está sí mismo otra declaración en la lengua de objeto. Hay una relación, sin embargo; p y q sea sintácticamente equivalente si y solamente si p ↔ q es a teorema, mientras que p y q está semántico el equivalente …ver más…

Algebraico, la negación lógica corresponde a complemento en a Álgebra boleana (para la lógica clásica) o a Álgebra de Heyting (para la lógica intuicionista).
Características
* distributivity: ~~ * linear: En Álgebra boleana, una función linear es una tales que:
Si existe a0, a1, ... , an {0.1} tales que f (b1, ... , bn) = a0 ⊕ (a1 b1) ⊕ ... ⊕ (an bn), para todo el b1, ... , bn {0,1}.
Otra manera de expresar esto es que cada variable diferencia siempre en el verdad-valor de la operación o nunca diferencia. La negación es operador lógico linear. * uno mismo dual: En Álgebra boleana una función dual del uno mismo es una tales que:
Si f (a1, ... , an) = ~f (~a1, ... , ~an) para toda la a1, ... , an {0,1}. La negación es operador lógico dual del uno mismo.
Informática
Como en matemáticas, la negación se utiliza adentro informática para construir declaraciones lógicas. ¡si (! (== t de r)) { … declaraciones ejecutadas cuando r no iguala t… }
“!” significa lógico no adentro B, C, e idiomas con A.c. - sintaxis inspirado por ejemplo C++, Java, Javascript, Perl, y PHP. “NO” es el operador usado adentro ALGOL 60, BASIC, e idiomas con un sintaxis ALGOL-inspirado por ejemplo PASCAL, Ada, y Eiffel. Algunas idiomas (C++, Perl, etc.) proporcionan a más de un operador para la negación. Pocas idiomas, como Ratfor, ¬ del uso para la negación. Algunas