谓调weici
命题中刻划客体的性质或客体之间的关系的词语. 命题演算中将原子命题看成不能再分解的基本单位. 但事实上,每个原子命题都是由主语和谓语两部分构成.例如,“白莉是大学生”是一个命题,“白莉”是主语. 命题的主语称为客体,用名词、代名词表示. “是大学生”是该命题的谓语,刻划主语的属性.
刻划一个客体的性质的是一元谓词. 白莉 (6)是大学生 (S),记成S (b). 白莉是客体,谓词是“是大学生”. S (b)刻划b具有属性S. 刻划两个客体之间关系的是二元谓词. M (5,1)可刻划 “5大于1”或“5是1的倍数”等等. 一般,n (n≥2)元谓词刻划n个客体间的关系. 例如,M (a,b,c) 可表示a在b,c之间; 也可以表示n是b,c的和.