Definition:Model (Boolean Interpretations)

Definition
Let $\mathcal L_0$ be the language of propositional logic.

Let $v: \mathcal L_0 \to \left\{{T, F}\right\}$ be a boolean interpretation.

Model of WFF
Currently /WFF

Model of Set of WFFs
Currently /Set of WFFs