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
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
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012