Definition:Semantic Consequence/Boolean Interpretations

Definition
 Let $\FF$ be a collection of WFFs of propositional logic.

Then a WFF $\mathbf A$ is a semantic consequence of $\FF$ :


 * $v \models_{\mathrm{BI}} \FF$ implies $v \models_{\mathrm{BI}} \mathbf A$

where $\models_{\mathrm{BI}}$ is the models relation.

Notation
That $\mathbf A$ is a semantic consequence of $\FF$ is denoted as:


 * $\FF \models_{\mathbf{BI}} \mathbf A$