Definition:Function Symbol
Jump to navigation
Jump to search
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
Sources
- 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\mathrm{II}.5$ First-Order Logic Syntax: Definition $\mathrm{II.5.2}$