Definition:Function Symbol

Definition
Let $\LL$ be a formal language (for example, the language of predicate logic $\LL_1$).

A function symbol is a letter of $\LL$ used to describe a function.

The name function symbol is a gesture to the reader to make clear what such a symbol should (intuitively) represent in the formal language $\LL$.

Also see

 * Definition:Symbol
 * Definition:Constant Symbol
 * Definition:Predicate Symbol
 * Definition:Signature for Predicate Logic