agent

Predicado vs Funciones en lógica de Primer orden

He estado muy confundido últimamente con respecto a la diferencia entre predicado y función en la lógica de primer orden. Mi ... e gustaría tener una opinión de experto para aclarar mis conocimientos (o aprobar mi comprensión). Gracias de antemano Krio