个体词是指所研究对象中可以独立存在的具体的或抽象的客体。如小王、小李,中国、美国,12、36等可作个体词。将表示具体或特定的客体的个体词称为个体常项,将表示抽象或泛指的个体词称为个体变项,将个体变项的取值范围称为个体域或论域。
谓词是用来刻画个体词性质及个体词之间相互关系的词。
量词是表示个体常项或变项之间数量关系的词称为量词。有两种量词:全称量词和存在量词。日常生活和数学中常用的“一切、所有、每一个、任意、凡是、都”等词统称为全称量词,日常生活和数学中常用的“存在、有一个、有的、至少有一个”等词统称为存在量词。全称量词和存在量词可以联合使用。
评论