\begin{definition}[Definition:Semantic Consequence/Boolean Interpretations/Single Formula]
<section notitle="true" name="tc">
Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.
\end{definition}