title: Predicate vs Functions in First order logic
body: <p>I have been so confused lately regarding difference between predicate and function in first order logic.</p>
  
  <p>My understanding so far is,</p>
  
  <p>Predicate is to show a comparison or showing a relation between two objects such as,</p>
  
  <pre><code>President(Obama, America)
  </code></pre>
  
  <p>Functions are to specify what a particular object is such as,</p>
  
  <pre><code>Human(Obama)
  </code></pre>
  
  <p>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</p>
  
  <p>Krio </p>