Definition:Constant Symbol

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

A constant symbol is a letter of $\mathcal L$ used to describe a constant.

The name constant 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

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


 * Definition:Proper Name