我最近对一阶逻辑中谓词和函数之间的区别感到非常困惑。
到目前为止我的理解是,
谓词是显示两个对象之间的比较或关系,例如,
President(Obama, America)
函数用于指定特定对象是什么,例如,
Human(Obama)
现在我是在正确的轨道上区分这两个术语,还是我完全错了,需要一个简短的解释,我想听听专家的意见来澄清我的知识(或批准我的理解)。提前致谢
克里奥
我最近对一阶逻辑中谓词和函数之间的区别感到非常困惑。
到目前为止我的理解是,
谓词是显示两个对象之间的比较或关系,例如,
President(Obama, America)
函数用于指定特定对象是什么,例如,
Human(Obama)
现在我是在正确的轨道上区分这两个术语,还是我完全错了,需要一个简短的解释,我想听听专家的意见来澄清我的知识(或批准我的理解)。提前致谢
克里奥
谓词是一个返回真或假的函数。
函数符号,将个体映射到个体 – 父亲(玛丽)= 约翰 – 颜色(天空)= 蓝色 • 谓词符号,将个体映射到真值 – 更大(5,3) – 绿色(草) – 颜色(草绿色)
据我了解
函数返回域中的值,将 n 个元素映射到域的单个成员。
谓词根据您在系统中遵循的公理和推理规则来确认您尝试建立的关系是否正确。
谓词是对特定属性的确认,对象或对象之间的关系。这说明该对象存在属性。如果给你一个公式 P 代表美国总统,那么
P(奥巴马,美国)=真。
它告诉你你是对的,奥巴马作为美国总统的财产是真实的,奥巴马作为美国总统的关系是真实的,但是
P(普京,美国)=假。
告诉普京是美国总统是错误的,因此告诉你一个或多个物体拥有或不拥有特定的财产或关系。至于函数返回与对象的特定属性相关的值,如美国总统、安的母亲等。你给他们一个值,他们将返回一个值。就像让 P 成为一个函数,它返回作为参数传递的国家的总统
P(美国)=奥巴马。
P(俄罗斯)=普京。