La lógica de predicados es una extensión de la lógica proposicional que permite expresar relaciones más complejas entre objetos. Utiliza variables, funciones y predicados para formular afirmaciones sobre propiedades y relaciones. Por ejemplo, en lugar de simplemente afirmar que "A es verdadero", se puede decir "Para todo x, P(x) es verdadero", donde P es un predicado que describe una propiedad de x. Esta lógica es fundamental en matemáticas y filosofía, ya que proporciona un marco para razonar sobre afirmaciones que involucran múltiples elementos. Además, es la base de muchos sistemas de inteligencia artificial y programación lógica, facilitando la representación del conocimiento y la inferencia.