函项
| 函项 | |
|---|---|
| 术语名称 | 函项 |
| 英语名称 | function |
| 别名 | 函词, 函数符号, 函数 |
函项(function)是谓词逻辑中的基本语法单元，从一个或多个项中构造新的项。
接受 [math]\displaystyle{ n }[/math] 个项的函项称为 [math]\displaystyle{ n }[/math] 元函项，其中 [math]\displaystyle{ n }[/math] 称为其元数(arity)。
函项是一个语法概念，负责从一些指代个体对象的词或短语基础上构造出新的指代个体对象的短语。 在语义上，其往往通过对象间关系使用一个或多个对象指称另一个新对象。
个体常项也看作零元函项。
有的材料中也称为“函数”，但严格地说，一般把语法上和项一起构成新对象的词称为函项，把语义上的从对象到对象间的关系称为函数。