Argumento (o término) de un predicado
En analogía con las funciones matemáticas, en la proposición "los hombres son mortales o Mortales(hombres), el predicado "son mortales" requiere de un referente (en este caso "hombres") para adquirir sentido. En una proposición matemática como "x<y", se predica "es menor que" respecto a dos referentes (la x y la y) los cuales toman valores de un dominio o universo del discurso.
En el primer caso, "hombres" es el argumento de "son mortales"; en el segundo, la x y la y son los argumentos de "es menor que". En resumen, los argumentos de un predicado son análogos a las variables de una función matemática. Cuando los argumentos toman valores particulares en el dominio o universo del discurso, la proposición adquiere un valor, al igual que en las funciones matemáticas. Y este valor es un valor de verdad o valor veritativo: verdadera o falsa (1, si es verdadera o 0 si es falsa).
