個體詞，個體常量(小寫字母)
謂詞，命題函數的元根據實際情況設置個體變量數

量詞與特性謂詞表示個體域

命題的謂詞符號化方法
(1)確定命題中的量詞類型和特性謂詞。
①全稱量詞刻畫的特性謂詞，將作為蘊涵式的前件加入。
②存在量詞刻畫的特性謂詞，將作為合取式的合取項加入。