semántica de los operadores lógicos y de comparación en el contexto de tres valorada lógica

Question

profesor me hacen esta pregunta:

¿Cuál es la semántica de los operadores lógicos y de comparación en el contexto de tres-lógica valorada ?

No estoy seguro de lo que quiso decir con eso. ¿Qué es el operador de comparación? ¿Es eso lo mismo que un operador relacional? ¿Semántica? ¿Pregunta sobre el "significado" de esos dos términos en el contexto de la lógica de tres valores?

Gracias.

Answer 1

http://en.wikipedia.org/wiki/Null_(SQL)#Three-valued_logic_.283VL.29

Básicamente, tres lógica valor es verdadero/falso/null, y los operadores booleanos/comparación funcionará en ciertas formas cuando se comparan nula verdadera ==, null null ==, etc.

Answer 2

La lógica booleana por definición usa solo dos valores. Para mí, esta pregunta no tiene sentido. Si se le pregunta cómo se puede definir o extender la lógica booleana para que pueda usar el sistema de tres valores, sería más claro.

Answer 3

valores booleanos, por definición, se componen de dos opciones: verdadero y falso, o alguna representación de ellos como 1/0, ON/OFF, sí/no, etc.

Muchos sistemas de bases de datos también permiten almacenar una Valor NULL en los campos designados como Boolean para permitirles representar tres valores: Sí, No y Desconocido (NULL).

Los operadores booleanos son Y, O y NO.
Los operadores de comparación son una forma de IGUAL o NO IGUAL.

Operaciones con valores TRUE/FALSE en ambos extremos son evidentes:
VERDADERO o FALSO -> TRUE
no es verdad -> FALSO
TRUE = TRUE -> TRUE

Lo que es cada vez at son las consecuencias de agregar el valor NULL (Desconocido):
TRUE or UNKNOWN (NULL) -> ???
NO DESCONOCIDO (NULO) -> ???
TRUE = DESCONOCIDO (NULO) -> ???