Lógica de predicados

La lógica de predicados es una extensión de la lógica de proposiciones, y a ella se extienden también los conectivos lógicos y operadores de la lógica proposicional. La lógica de predicados descompone la proposición en sus dos componentes básicas (sujeto y predicado) y cuantifica al sujeto, introduciedo símbolos para el sujeto, para el predicado y para los cuantificadores "todos" y "alguno", además de un símbolo de relación entre sujeto y predicado.

Desde la lógica de predicados, una proposición expresa relaciones entre objetos y/o atributos asignados a los objetos. En la oración "Juan es hermano de Pedro" lo que realmente se está expresando es una relación (de hermandad) entre Juan y Pedro. En la oración "Juan es estudiante de la universidad" se está asignando un atributo a Juan. (La lógica de predicados es muy importante para representar el conocimiento en Inteligencia Artificial; las oraciones anteriores se representarían como "Hermano de (Juan, Pedro)" y "EstudianteUniversitario(Juan)")