Function Symbol (First-Order Logic)

logic first-order-logic

Definition

Function Symbol (First-Order Logic)

A function symbol is a syntactic element of a signature $(\mathcal{F},\mathcal{P})$ that builds terms from terms. Each function symbol $f\in \mathcal{F}$ has a fixed arity $n\ge 0$. Given terms $t_1,\dots ,t_n$, the expression $f(t_1,\dots ,t_n)$ is again a term.