Definition:Boolean Interpretation/Set of Formulas

Definition
Let $\LL_0$ be the language of propositional logic. Let $v: \LL_0 \to \set {\T, \F}$ be a (partial) boolean interpretation.

Let $\FF$ be a set of WFFs of $\LL_0$.

Then $v$ is called a boolean interpretation for $\FF$ $v$ is defined on $\FF$.

Otherwise, $v$ is called a partial (boolean) interpretation for $\FF$.