Individual term is 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.
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.