\begin{definition}[Definition:Semantic Consequence/Boolean Interpretations/Single Formula/Definition 2]
Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.
Then $\mathbf A$ is a '''semantic consequence''' of $\mathbf B$ {{iff}}:
:$\mathbf A \implies \mathbf B$ is a tautology
where $\implies$ is the conditional connective.
\end{definition}