3.2 Lógica de predicados.

La lógica de predicados es un lenguaje mas de la matemáticas. Sin menospreciar otros sistemas de lógica que se han estudiado, algunos por razones filosóficas y otros por la importancia de sus aplicaciones, incluyendo las ciencias de la computación.La lógica de predicados, se ocupa únicamente de métodos de argumentación sólidos. Tales argumentaciones se denominan Reglas de Inferencia, tema mencionado anteriormente. Si se da un conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia garantizan que sólo serán derivadas consecuencias verdaderas.

En las ciencias de la computación, sabemos que muchas cosas pueden ser codificadas en bits y esto justifica la restricción de la lógica boleana(dos valores).En ocasiones es conveniente hacer referencia directamente a tres ó mas valores discretos.

Por ejemplo una compuerta lógica puede estar en un estado indeterminado antes de basarse en un nivel estable de voltaje. Esto puede ser formalizado en tres valores lógicos con un valor {$ X $} en la suma de de verdadero y falso. La definición de los operadores se extiende a los nuevos valores, por ejemplo, {$ X $} y verdadero = {$ X $}.

Veamos un ejemplo:

Consideremos las 2 sentencias, “1 < 2″ y “Esta lloviendo”. la primera sentencia siempre es verdadera mientras que la segunda es verdadera solo en algunas ocasiones. esto puede ser expresado en el cálculo de predicados como: ‘Para todas ocasiones de t, el valor “1 < 2″ en la ocasión t, es verdadero’ y ‘Para algunas ocasiones de t, el valor de “Esta lloviendo”, en la ocasión t es verdadero’