LOGICA DE PRIMER ORDEN

Un predicado es «lo que se afirma del sujeto en una proposición»
(D.R.A.E.). Esta definición es incompleta, porque en lógica también se llama predicado a lo que se afirma sobre dos o más sujetos, es decir a una relación entre ellos. Hay predicados unarios (o monódicos), predicados binarios, etc. Los predicados unarios son afirmaciones sobre propiedades (relaciones de grado 1), los binarios, sobre relaciones de grado 2, etc.
4. La lógica de predicados nos permite entrar en contenido de las proposiciones. Enunciados como «Juan es padre de Luis» y «Luis es hijo de Juan» en lógica de proposiciones sólo pueden representarse como variables proposicionales, y no es posible representar un conocimiento tan simple como que si x es padre de y entonces y es hijo de x.
5. Con la lógica de predicados podemos representar conceptuaciones que contienen relaciones entre objetos (como las relaciones «padre» e «hijo»). Ahora bien, a veces la conceptuación también expresa relaciones entre relaciones, o propiedades (relaciones de grado 1) de relaciones. Por ejemplo, «padre es una relación familiar». A la lógica que sólo permite representar relaciones entre objetos se le llama de primer orden, la que permite relaciones entre relaciones, de segundo orden, y así sucesivamente.