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

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

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

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

如果你对这篇文章有疑问,欢迎到本站 社区 发帖提问或使用手Q扫描下方二维码加群参与讨论,获取更多帮助。

扫码加入群聊

发布评论

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

评论(1

虐人心 2017-06-22 1 楼

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