Resumen de la logica de los PredicadosLa lógica de predicados es un sistema formal utilizado para estudiar la inferencia en el

lenguaje, consiste en representar simbólicamente las proposiciones para poder

determinar el valor lógico, al hablar de la lógica de predicados es necesario hablar

sobre los cuantificadores que pueden ser universales o existenciales, dichos

cuantificadores son los que nos permiten demostrar el valor lógico de la lógica de

predicados creada.

Los cuantificadores universales: significa para todo o todos y se representa

simbólicamente con ( ). Se utiliza para decir que todos los elementos de un

conjunto dado cumplen con la función que le sigue.

Los cuantificadores existenciales: significa existe o algunos y se representa

( ). Se utiliza para decir que existe algún elemento que pertenezca a algún

conjunto tal que se cumpla la siguiente función donde la función es la lógica de

predicados.

Ejemplo:

Sea t: 7 es un número par

P(x): x es un número par

Su representación en lógica de predicados seria P(t) y utilizando los cuantificadores

seria / P(t) y su valor lógico seria VL P(t): 0 o f, ya que sería una falsedad

puesto que 7 es un número impar, una observación muy importante es que para

representar simbólicamente cualquier conjunto de números se pueden utilizar las

letras ya conocidas que los denotan tales como para los números reales, para

los números racionales, para los números enteros y para el conjunto de los

números naturales.