Sentence
# Definition
Let $\mathcal{L}$ be a Language. An $\mathcal{L}$-Formula $\phi$ is an $\mathcal{L}$-Sentence if it has no Free Variables.
Search
Let $\mathcal{L}$ be a Language. An $\mathcal{L}$-Formula $\phi$ is an $\mathcal{L}$-Sentence if it has no Free Variables.