Substitutionslemma (Prädikatenlogik)

Sei $S$ eine Substitution. Wenn zwei Formeln $φ, ψ$ äquivalent sind, dann sind auch ihre substituierten Versionen äquivalent:

φ \equiv ψ ⟹ φ S \equiv ψ S