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.

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.
Enlaces:
[1] https://www.matetam.com/glosario/definicion/logica-predicados