Abhijeet Mulgund's Personal Webpage

Search

Search IconIcon to open search

Valid Formula

Last updated Nov 1, 2022

# Definition

Let $\mathcal{L}$ be a Language. $\phi$ is a Valid $\mathcal{L}$-Formula if for each $\mathcal{L}$-structure $\mathcal{M}$ and each Assignment $\sigma$, we have that $\mathcal{M} \models_{\sigma} \phi$.

# Other Outlinks