Bound Variable
# Definition
Let $\mathcal{L}$ be a Language and let $\phi$ be an $\mathcal{L}$-formula. Suppose Variable Symbol $v$ occurs in $\phi$. We say $v$ is a Bound Variable in $\phi$ if it occurs in a $\exists v$ or $\forall v$ Quantifier.
Search
Let $\mathcal{L}$ be a Language and let $\phi$ be an $\mathcal{L}$-formula. Suppose Variable Symbol $v$ occurs in $\phi$. We say $v$ is a Bound Variable in $\phi$ if it occurs in a $\exists v$ or $\forall v$ Quantifier.