一阶逻辑中的谓词 vs函数

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

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

到目前为止我的理解是,

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

President(Obama, America)

函数用于指定特定对象是什么,例如,

Human(Obama)

现在我正在正确的轨道上区分这两个术语,或者我完全错了,需要一个简短的解释,我想有专家的意见来澄清我的知识(或批准我的理解)。

Krio

52

谓词是返回 true 或 false 的函数。

14

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

7

从我的理解

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

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

3

谓词是对特定属性、对象或对象之间关系的确认。这表明该对象存在属性。如果你被给出美国总统的公式 P,那么

P(,美国)= true。

它告诉你你是对的,作为美国总统的财产是真的,作为美国总统的关系是真的,但是

P(美国)= false。

告诉是美洲总统是假的,从而告诉你一个或多个对象持有或不持有特定的属性或关系。至于函数返回与美国总统、安的母亲等对象的特定属性相关的值。你给他们一个值,他们就会返回一个值。就像让 P 是一个函数,它返回作为参数传递的国家总统

P(美国)= 。

P(俄罗斯)= 。

本站系公益性非盈利分享网址,本文来自用户投稿,不代表码文网立场,如若转载,请注明出处

(707)
如何从谷歌静态地图Api卫星图像获取日期信息
上一篇
抓取 gdelt数据时出现属性错误
下一篇

相关推荐

发表评论

登录 后才能评论

评论列表(83条)