个体词，个体常量(小写字母)
谓词，命题函数的元根据实际情况设置个体变量数

量词与特性谓词表示个体域

命题的谓词符号化方法
(1)确定命题中的量词类型和特性谓词。
①全称量词刻画的特性谓词，将作为蕴涵式的前件加入。
②存在量词刻画的特性谓词，将作为合取式的合取项加入。