preguntar acerca de first-order-logic

j'ai été tellement confus dernièrement en ce qui concerne la différence entre prédicat et fonction dans la logique du premier ordre. Ma compréhension, Predicate est d'afficher une comparaison ou d'afficher une relation entre deux objets tels que, …