# Definition:Semantic Equivalence/Boolean Interpretations/Definition 2

## Definition

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

Then $\mathbf A$ and $\mathbf B$ are equivalent for boolean interpretations if and only if:

$\map v {\mathbf A} = \map v {\mathbf B}$

for all boolean interpretations $v$.