Cite

free variable: Meaning and Definition of

free' var'iable

Pronunciation: [key]
? Logic. Logic.
  1. (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 Unabridged Dictionary, Copyright 1997, by Random House, Inc., on Infoplease.