Función proposicional atómica

Versión para impresión

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