Difference between revisions of "Individual variable"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(No difference)
|
Latest revision as of 17:04, 15 February 2009
Individual variable is a basic expression of predicate logic which is used as a place-holder with a predicate letter, instead of an individual constant. In effect, it stands for an unspecified argument of the predicate. Individual variables can be bound by quantifiers, and are indicated by characters of the end of the alphabet.
Link
Utrecht Lexicon of Linguistics
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.