Introduction to Logic

Equivalence Theorem

The Equivalence Theorem states that a sentence φ and a sentence ψ are logically equivalent if and only if the sentence (φ ⇔ ψ) is valid.