离散数学里几元谓词就是指谓词中含有多少个个体词,可后面有说到-查字典问答网
分类选择

来自刘金洋的问题

  离散数学里几元谓词就是指谓词中含有多少个个体词,可后面有说到零元谓词是指不含个体变项的谓词,而书上定义个体词包含个体常项,个体变项.该怎么理解一元谓词及多元谓词?

  离散数学里几元谓词就是指谓词中含有多少个个体词,可后面有说到零元谓词是指不含个体变项的谓词,而书上定义个体词包含个体常项,个体变项.该怎么理解一元谓词及多元谓词?

1回答
2020-02-06 06:21
我要回答
请先登录
万诰方

  一元谓词其实就是表示个体词的性质;n元谓词表示n个个体词之间的关系;0元谓词其实就是不包含个体变项,常项有没有都无所谓的,其实也就是命题逻辑中的命题.

2020-02-06 06:26:17

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •