Bound Variable (First-Order Logic)

first-order-logic

Definition

Bound Variable (First-Order Logic)

A variable occurrence in a formula is bound if it lies within the scope of a quantifier $\forall x$ or $\exists x$ that binds it. All other occurrences are free.