最近我一直对一阶逻辑中谓词和函数之间的区别感到困惑。

目前我的理解是，

谓词用于展示比较或展示两个对象之间的关系，例如：

President(Obama, America)

函数用于指定某个特定的对象是什么，例如：

Human(Obama)

现在我区分这两个术语的方向是否正确，或者我完全错了，需要一个简要的解释。我希望得到专家的意见来澄清我的知识（或认可我的理解）。提前感谢。

@人名

回答：

谓词是一个返回真或假的函数。