查看“︁项（谓词逻辑）”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:xiang4}}
{{#seo:
|keywords=项, 闭项, 谓词逻辑
|description=项是谓词逻辑中的语法概念，可以包含个体词和函项，指称所讨论论域中的具体或抽象对象。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-09-08
}}
{{InfoBox
|name=项
|eng_name=term
}}
{{InfoBox
|name=闭项
|eng_name=closed term
}}

'''项'''('''term''')是谓词逻辑中的语法单元，形式上可以由[[个体词（谓词逻辑）|个体词]]与[[函项]]构成，语义上指称论域中的具体或抽象的个体对象。
尽管也指称个体对象，但与个体词不同，项不要求在形式上是词，也允许个体词和函项组成的短语。
若个体词类似自然语言中的名词，项则类似于语言中的名词性短语。

== 定义 ==

'''项'''('''term''')仅包含由以下规则递归定义的符号串：
* 个体常项是项；
* 个体变项是项；
* 若 <math>t_1 \dots t_n</math> 是项， <math>f</math> 是 <math>n</math> 元[[函项]]，则 <math>f(t_1, \dots, t_n)</math> 也是项。

若项中没有个体变项，称这个项为'''闭项'''('''closed term''')。


{{谓词逻辑}}