= Free variables and bound variables
{wiki=Free_variables_and_bound_variables}
In the context of formal logic, mathematics, and computer science, the concepts of **free variables** and **bound variables** are important in understanding the structure of expressions, particularly in terms of quantification and function definitions. \#\#\# Free Variables A **free variable** is a variable that is not bound by a quantifier or by the scope of a function. In simpler terms, free variables are those that are not limited to a specific context or definition, meaning they can represent any value.
Back to article page
