BOUND VARIABLE


Meaning of BOUND VARIABLE in English

Logic.

(in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier. Cf. free variable .

Random House Webster's Unabridged English dictionary.      Полный английский словарь Вебстер - Random House .