\begin{definition}[Definition:Semantic Equivalence/Boolean Interpretations/Definition 3]
Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.
Then $\mathbf A$ and $\mathbf B$ are '''equivalent for boolean interpretations''' {{iff}}:
:$\mathbf A \iff \mathbf B$ is a tautology
where $\iff$ is the biconditional connective.
\end{definition}