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…
Logical equivalence
Related concepts
- Truth table
- Tautology
- Biconditional (IFF)
- De Morgan's laws
- Double-negation equivalence
- Distributive laws (logic)
- Associative laws (logic)
- Commutative laws (logic)
- Idempotent laws (logic)
- Identity laws (logic)
- Domination laws (logic)
- Absorption laws (logic)
- Implication-as-disjunction equivalence
- Contrapositive equivalence
- Biconditional decomposition
- Quantifier-negation rules (De Morgan for quantifiers)
- Fluorescence lifetime & FRET
- Förster resonance energy transfer framework: E = 1/(1 + (r/R_0)^6) (sixth-power dipole-dipole distance dependence)