Ausdrücke ϕ, ψ eines logischen Kalküls, denen bei jeder Belegung jeweils der gleiche Wahrheitswert zugeordnet wird, sodaß der Ausdruck ϕ ↔ ψ allgemeingültig ist. Symbolisch wird dies häufig durch ϕ ⇔ ψ oder ϕ ≡ ψ ausgedrückt (logische Äquivalenz).