项（谓词逻辑）
| 项 | |
|---|---|
| 术语名称 | 项 |
| 英语名称 | 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] 也是项。
若项中没有个体变项，称这个项为闭项(closed term)。