FREE VARIABLE


Meaning of FREE VARIABLE in English

Logic.

(in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable .

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