Search the lexicon


Individual term

SEMANTICS: an expression in predicate logic which can figure as an argument of a predicate and which denotes an individual in the universe of discourse. Mostly used as a cover term for individual constants and individual variables. Both refer to entities or individuals in a universe of discourse. In predicate logic language, individual terms are represented with lowercase characters.
LIT. Gamut, L.T.F. (1991)