Abhijeet Mulgund's Personal Webpage

Search

Search IconIcon to open search

Free 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 Free Variable if it is not a Bound Variable.