En la oración "Juan es amigo de Marcos" la gramática ve dos unidades o partes de al oración: el sujeto "Juan" y el predicado "es hermano de Marcos". Sin embargo, en la lógica de predicados la distinción de las unidades de la proposición (los términos) es un poco diferente: el predicado es "es hemano de" y "Juan" y "Marcos" son los argumentos del predicado.
En este ejemplo, el predicado tiene dos argumentos (se dice que es un predicado diádico). De acuerdo a su significado, este predicado es de tipo relacional, pues establece una relación entre sus argumentos.
Ver también:
Lógica de predicados