讨论-对0元谓词的讨论,有人对定义报怀疑看法的吗?

小组聊天灌水 小组聊天灌水 主题:993 回复:2175

讨论-对0元谓词的讨论,有人对定义报怀疑看法的吗?

晚风撩人 发布于 2017-05-13 字数 186 浏览 1271 回复 1

定义是这么说的,不带个体变项的谓词称为0元谓词。
于是当L(x,y)这样一个2元谓词确定为“x小于y”之后,L(x,y)就是一个0元谓词了。我觉得这么说有点牵强,不知道大家看法如何。

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

支持 Markdown 语法,需要帮助?

评论(1

虐人心 2017-06-22 1 楼

不是确定为“x小于y”之后,L(x,y)就是一个0元谓词了,是确定x,y之后是一个0元谓词,也就是你所说的没有个体变项只有个体常项,若确定为“x小于y”,则是一个命题。