Abhijeet Mulgund's Personal Webpage

Search

Search IconIcon to open search

Bound Variable

Last updated Nov 1, 2022

# 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.