Namespaces
Variants
Actions

Term

From Encyclopedia of Mathematics
Revision as of 17:14, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A linguistic expression used to denote objects. For example, the expressions are distinct terms denoting the same object. A term can contain free variables (parameters) (cf. Free variable), fixation of whose values uniquely defines some object according to the semantic laws of the language — the value of the term for the given values of its free variables. Thus, if is a variable with as values integrable real-valued functions, and , , are variables whose values are real numbers, then the expression is a term with three parameters , , , which denotes a well-defined real number for each set of values of the parameters ( in this term is a bound variable). Syntactically, terms are characterized by the fact that they can be substituted for variables in other expressions of the language — terms or formulas, yielding new terms or formulas, respectively.

In a formalized language there exist formal rules, independent of the semantics of the language, for constructing terms and distinguishing free variables in them. In many-sorted languages there are also rules for determining the sorts of the terms which occur.


Comments

References

[a1] J.R. Schoenfield, "Mathematical logic" , Addison-Wesley (1967)
How to Cite This Entry:
Term. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Term&oldid=32582
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article