Definition:Semantic Equivalence/Boolean Interpretations

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

Equivalence of Definitions
The definitions above are all equivalent, as shown on Equivalence of Definitions of Semantic Equivalence for Boolean Interpretations.

Also see

 * Definition:Semantic Consequence (Boolean Interpretations)
 * Definition:Logical Equivalence