查看“︁函项”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:han2xiang4}}
{{#seo:
|keywords=函项, 函数符号, 谓词逻辑, 项, 递归定义
|description=函项是谓词逻辑中从给定的个体构造出新的个体的符号。它在语法上是一个运算，语义解释为论域上的一个具体函数。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-07-01
}}
{{InfoBox
|name=函项
|eng_name=function
|aliases=函词,function symbol,函数符号,函数
}}
'''函项'''('''function''')是谓词逻辑中的基本语法单元，从一个或多个[[项（谓词逻辑）|项]]中构造新的项。
接受 <math>n</math> 个项的函项称为 <math>n</math> 元函项，其中 <math>n</math> 称为其'''元数'''('''arity''')。

函项是一个语法概念，负责从一些指代个体对象的词或短语基础上构造出新的指代个体对象的短语。
通常使用 [[从F开始的小写拉丁字母序列|f、g、h……]]表示函项，对项 <math>x_1,\cdots,x_n</math> 通过函项构造的项通常记作 <math>f(x_1,\cdots,x_n)</math> 。
在语义上，函项被[[解释（谓词逻辑）|解释]]成对象间的[[关系]]或[[映射]]，使用一个或多个对象指称另一个新对象。

个体常项也看作零元函项。

有的材料中也称为“函数”，但严格地说，一般把语法上和项一起构成新对象的词称为函项，把语义上的从对象到对象间的关系称为映射或函数。


{{谓词逻辑}}