\begin{definition}[Definition:Model (Logic)/Logical Formula]
Let $\mathscr M$ be a formal semantics for a logical language $\LL$.
Let $\MM$ be a structure of $\mathscr M$.
Let $\phi$ be a logical formula of $\LL$.
Then $\MM$ is a '''model of $\phi$''' {{iff}}:
:$\MM \models_{\mathscr M} \phi$
that is, if $\phi$ is valid in $\MM$.
{{expand}}
Category:Definitions/Symbolic Logic
Category:Definitions/Model Theory
Category:Definitions/Formal Semantics
\end{definition}