Definition:Function Symbol

From ProofWiki
Jump to: navigation, search

Definition

Let $\mathcal L$ be a formal language (for example, the language of predicate logic $\mathcal L_1$).


A function symbol is a letter of $\mathcal L$ 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 $\mathcal L$.


Also see


Sources