\begin{definition}[Definition:Model (Boolean Interpretations)]
Let $\mathcal L_0$ be the language of propositional logic.
Let $v: \mathcal L_0 \to \left\{{T, F}\right\}$ be a boolean interpretation.
\end{definition}