![Versión para impresión Versión para impresión](/sites/all/modules/print/icons/print_icon.gif)
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.