\begin{definition}[Definition:Semantic Consequence/Boolean Interpretations/Single Formula/Definition 1]
Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.
Then $\mathbf A$ is a '''semantic consequence''' of $\mathbf B$ {{iff}}:
:$v \models_{\mathrm{BI}} \mathbf B$ implies $v \models_{\mathrm{BI}} \mathbf A$
for all boolean interpretations $v$.
Here, $\models_{\mathrm{BI}}$ is the models relation.
\end{definition}