Constant Symbol

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A nonvariable symbol that denotes a fixed element of the domain within interpretations of a formal language.