Lógica inductiva
Tradicionalmente se consideraba que razonamiento inductivo es una modalidad del razonamiento que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares o individuales. Por ejemplo, a partir de la observación repetida de objetos o acontecimientos de la misma índole se establece una conclusión general para todos los objetos o eventos de dicha naturaleza.
Sin embargo, esa definición, en el presente y en lógica, ya no esta en uso: “Como ya mencionamos, a veces se expresa la diferencia entre deducción e inducción diciendo que la segunda, contrariamente a la primera, “va de lo particular a lo general”. Si con ello se quiere decir que en un argumento inductivo válido las premisas son …ver más…

Esta forma común puede representarse esquemáticamente así:
(6) A o B
No A
B
Estas representaciones esquemáticas de los argumentos se llaman esquemas argumentales. Las letras A y B representan enunciados arbitrarios. Al sustituir estas letras por enunciados reales, obtenemos un argumento real. Cualquier sustitución de este tipo que hagamos en el esquema (6) resultará en un argumento deductivo, por eso decimos que (6) es un esquema argumental deductivo o válido.
Lógica de predicados
La lógica de predicados es un lenguaje más de la matemáticas. Sin menospreciar otrs 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.
En las ciencias de la computación, sabemos que muchas cosas pueden ser codificadas en bits y esto justifica la restriccion 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 $}.
EJEMPLO: Consideremos las 2 sentencias, “1 < 2″ y “Esta lloviendo”. la primera sentencia siempre es verdadera