\begin{definition}[Definition:Boolean Interpretation/Formula]
Let $\LL_0$ be the language of propositional logic.
Let $v: \LL_0 \to \set {\T, \F}$ be a (partial) boolean interpretation.
Let $\phi$ be a WFF of propositional logic.
Then $v$ is called a '''boolean interpretation for $\phi$''' {{iff}} $v$ is defined at $\phi$.
Otherwise, $v$ is called a '''partial (boolean) interpretation for $\phi$'''.
\end{definition}