Asked • 05/13/19

Predicate vs Functions in First order logic?

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

1 Expert Answer


Dibyendu D. answered • 05/20/19

4.8 (64)

Ph.D. in Computer Science with 2+ years of Teaching Experience

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.