来自刘金洋的问题
离散数学里几元谓词就是指谓词中含有多少个个体词,可后面有说到零元谓词是指不含个体变项的谓词,而书上定义个体词包含个体常项,个体变项.该怎么理解一元谓词及多元谓词?
离散数学里几元谓词就是指谓词中含有多少个个体词,可后面有说到零元谓词是指不含个体变项的谓词,而书上定义个体词包含个体常项,个体变项.该怎么理解一元谓词及多元谓词?
1回答
2020-02-06 06:21