Free Variable (original) (raw)
An occurrence of a variable in a logic formulawhich is not inside the scope of a quantifier.
See also
Bound Variable, Quantifier,Sentence
Explore with Wolfram|Alpha
References
Curry, H. B. Foundations of Mathematical Logic. New York: Dover, p. 112, 1977.
Referenced on Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Free Variable." FromMathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/FreeVariable.html