谓词与一阶逻辑中的函数

Question

关于一阶逻辑中谓词和函数之间的区别,我最近一直很困惑.

到目前为止我的理解是,

谓词是显示比较或显示两个对象之间的关系,如,

President(Obama, America)

函数用于指定特定对象的内容,例如

Human(Obama)

现在我正在走上正确的道路来区分这两个术语,或者我完全错了,需要一个简短的解释,我希望得到专家的意见来澄清我的知识(或批准我的理解).提前致谢

克里奥尔语

Answer 1

谓词是一个返回true或false的函数.

Answer 2

功能符号,将个体映射到个体 - 父亲(玛丽)=约翰 - 颜色 - (天空)=蓝色•谓词符号,将个体映射到真值 - 更大(5,3) - 绿色(草) - 颜色(草绿色)

Answer 3

据我了解

函数返回域中的值，将 n 个元素映射到域的单个成员。

Predicate 根据您在系统中遵循的公理和推理规则确认您尝试建立的关系是否为真。