Definition:Semantic Consequence/Boolean Interpretations/Single Formula

Definition
 Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.

Notation
That $\mathbf A$ is a consequence of $\mathbf B$ for boolean interpretations can be denoted as:


 * $\mathbf B \models_{\mathrm{BI}} \mathbf A$

Also see

 * Definition:Semantic Equivalence (Boolean Interpretations)