谓词

谓词
术语名称	谓词
英语名称	predicate
别名	命题函数

谓词(predicate)是指命题中描述某个东西（被称为个体对象）的性质或某几个东西的关系的部分。 也被形式化为关系。 [math]\displaystyle{ n }[/math] 元关系对应地称为 [math]\displaystyle{ n }[/math] 元谓词。

谓词逻辑/一阶逻辑
命题结构	个体词（个体常项、个体变项）、个体域、函项、项、谓词（谓词常项、谓词变项）
	量词（辖域、出现）（全称量词 [math]\displaystyle{ \forall }[/math]、存在量词 [math]\displaystyle{ \exists }[/math]）
谓词公式	解释/模型、赋值
	分类	普遍有效公式、可满足式、不可满足式
	范式	前束范式、Skolem 范式