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) |