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