Últimamente he estado tan confundido con respecto a la diferencia entre el predicado y la función en la lógica de primer orden. Mi entendimiento hasta ahora es, predicado es mostrar una comparación o
He estado usando la siguiente estructura de datos para la representación de la lógica proposicional en Haskell: data Prop
= Pred String
| Not Prop
| And Prop Prop
| Or Prop Prop
Me inscribí en una clase que no debería tener. Así que ahora estoy un poco atormentado porque no entiendo nada de la notación utilizada cuando mi profesor estaba explicando la lógica de primer orden.