first-order-logic
Lógica de Predicados en Haskell
He estado usando la siguiente estructura de datos para la representación de la lógica proposicional en Haskell:
data Prop
... nes que se basan en gramáticas más clásicas libres de contexto. Hay alguna literatura sobre esto, que podría ser recomendado?
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