La lógica de predicados permite representar proposiciones simbólicamente para determinar su valor lógico. Incluye cuantificadores universales y existenciales como (∀) y (∃) que representan "para todo" y "existe" respectivamente. Estos cuantificadores demuestran el valor lógico de una proposición de lógica de predicados como en el ejemplo de que todos los estudiantes ayudan a Juan sólo si Juan no se ayuda a sí mismo, representado como (∀x(E(x) → A(x, j))))

1. Resumen lógica de predicados
La lógica de predicados se puede ver como un método que nos permite representar
simbólicamente las proposiciones para poder determinar su valor lógico al conjunto
universal al que pertenece dicha proposición, así mismo al hablar de la lógica de
predicados es inevitable hablar sobre los cuantificadores que pueden ser universales o
existenciales, estos cuantificadores son los que nos permitirán demostrar el valor lógico
de nuestra lógica de predicados.
Los cuantificadores universales: En nuestro lenguaje común representa las palabras
para todo, todo (s) y se representa simbólicamente con ( ).
Los cuantificadores existenciales: En nuestro lenguaje significan las palabras existe o
algunos y se representa así ( ).
Ejemplo:
Sea q: 2 es un número par
P(x): x es un número par
Su representación en lógica de predicados seria P(q) y utilizando los cuantificadores
seria / P(q) y su valor lógico seria VL P(q): 1 o v
Ejemplo:
Todos los estudiantes ayudan a Juan sólo si Juan no se ayuda a sí mismo
(∀x(E(x) → A(x, j)))) → ¬A(j, j)