Formule jsou tautologicky ekvivalentní (sémanticky ekvivalentní), když pro každé ohodnocení u platí: u(φ)=u(ψ) Značíme: φ∣=∣ψ