Search the lexicon

Found:

Individual constant

SEMANTICS: a basic expression of predicate logic which refers to one specific individual in the universe of discourse. For individual constants lowercase characters from the beginning of the alphabet are used.
LIT. Gamut, L.T.F. (1991)