Son los componentes de una proposición en la lógica de predicados. En ésta se distinguen dos tipos de unidades proposicionales: las que representan objetos (que tienen un referente en el dominio del discurso) y las que representan propiedades de los objetos o bien relaciones entre los objetos.
Las unidades que representan objetos se denominan argumentos de las unidades que representan propidedades o relaciones, a las cuales se les llama predicados. Ejemplo: En la proposición "Abdías canta rancheras", se distinguen dos términos: el argumento "Abdías" del predicado "canta rancheras".
Ver también:
Lógica de predicados