Concept · Foundations
Scope and Binding
The scope of a quantifier is the portion of a formula it governs; a variable occurrence is bound if it falls within the scope of a quantifier using the same variable, and free otherwise.
Why it matters
Most formalization errors in predicate logic come from misjudging quantifier scope or leaving variables unintentionally free.
Where this shows up
Units and lessons using this concept
Following the links will take you to the page where this term is introduced in context.
Related