Individual variable

From Glottopedia
Revision as of 17:04, 15 February 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.