Consiste de un predicado cuyos argumentos son variables lógicas. Se convierte en proposición si las variables se cuantifican o se les asigna valores en el dominio del discurso.
Ver también:
Lógica de predicados Consiste de un predicado cuyos argumentos son variables lógicas. Se convierte en proposición si las variables se cuantifican o se les asigna valores en el dominio del discurso.