项（谓词逻辑）

项
术语名称	项
英语名称	term

闭项
术语名称	闭项
英语名称	closed term

项(term)即个体词与函项所能构成的对象。

定义

项(term)是命题中类似于语言中指称个体的名词短语的部分，包括：

• 个体常项是项；
• 个体变项是项；
• 若 [math]\displaystyle{ t_1 \dots t_n }[/math] 是项， [math]\displaystyle{ f }[/math] 是 [math]\displaystyle{ n }[/math] 元函项，则 [math]\displaystyle{ f(t_1, \dots, t_n) }[/math] 也是项。

若项中没有个体变项，称这个项为闭项。

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