- bound variable
-
(in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier. Cf. free variable.
* * *
Universalium. 2010.
bound variable
Look at other dictionaries:
bound variable — A variable x is bound in a formula if it is within the scope of a quantifier (in first order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified… … Philosophy dictionary
bound variable — noun A variable that is associated with a value, and therefore a variable that has an allocated storage location. If the programming language implements a representation of a canonical unknown value, infinity, etc., the value bound to the… … Wiktionary
bound variable — noun Etymology: bound (IV) logic : a variable occurring within the scope of a quantifier and so no longer available for substitution by a constant : an apparent variable * * * Logic. (in the functional calculus) a variable occurring in a… … Useful english dictionary
bound — variable … Philosophy dictionary
bound variables — bound variable … Philosophy dictionary
Variable (mathematics) — In mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined.[1] The concepts of constants and… … Wikipedia
variable — variability, variableness, n. variably, adv. /vair ee euh beuhl/, adj. 1. apt or liable to vary or change; changeable: variable weather; variable moods. 2. capable of being varied or changed; alterable: a variable time limit for completion of a… … Universalium
Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… … Wikipedia
Variable speed of light — The variable speed of light (VSL) concept states that the speed of light in a vacuum, usually denoted by c , may not be constant in some cases. In most situations in condensed matter physics when light is traveling through a medium, it… … Wikipedia
bound — I [[t]baʊnd[/t]] v. 1) pt. and pp. of bind 2) tied; in bonds: a bound prisoner[/ex] 3) cvb confined to or by something: bound to one s desk[/ex] 4) made fast as if by a band or bond 5) secured within a cover, as a book 6) law under a legal or… … From formal English to slang
