La lógica de predicados representa proposiciones simbólicamente para determinar su valor lógico. Utiliza cuantificadores universales y existenciales para demostrar la validez lógica. Los cuantificadores universales significan "para todo" y los existenciales "existe algún". La lógica de predicados permite representar conjuntos de números usando letras como R, Q, Z y N.

1. Resumen de la logica de los Predicados
La 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.