Question

I have been so confused lately regarding difference between predicate and function in first order logic.

My understanding so far is,

Predicate is to show a comparison or showing a relation between two objects such as,

President(Obama, America)

Functions are to specify what a particular object is such as,

Human(Obama)

Now am I heading on right track to differentiate these two terms or I am completely wrong and need a brief explanation, I would like to have opinion from expert to clarify my knowledge(or approve my understanding). Thanks in advance

Krio

Answer 1

A predicate is a function that returns true or false.