Logical equivalence

Two propositions φ and ψ are logically equivalent (written φ ≡ ψ) iff they have identical truth tables — i.e. iff φ ↔ ψ is a tautology. Logical equivalence partitions the propositional formulas into equivalence classes and is the substrate…