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