Definition
Contradiction Characterization of Equivalence (Propositional Logic)
Two formulas
and are equivalent if and only if the negation of their biconditional, , is unsatisfiable:
Reason
Two dualities composed
By the biconditional characterization,
holds exactly when is valid; by the validity–unsatisfiability duality, that holds exactly when is unsatisfiable: