Definition
Equivalence
The equivalence (or biconditional) is a binary logical connective. For formulas
and , the formula is true exactly when and have the same truth value.
Truth Table
Relation to Equivalence of Formulas
Semantic Equivalence
Two formulas
and are equivalent if and only if is valid. Equivalently,
if and only if is unsatisfiable.