Free variable Created 2026-09-24 Updated 2026-10-14
View more
An occurrence of a variable is free when it is outside the scope of a quantifier binding that variable.
The distinction belongs to free variables and bound variables; an occurrence bound by an enclosing quantifier is not free.
Read the full article