Definition:Semantic Equivalence/Predicate Logic

Definition
<section notitle="true" name="tc" Let $\mathbf A, \mathbf B$ be WFFs of predicate logic.

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

Also see

 * Definition:Logical Equivalence