Äquivalenz

Zwei Formeln $\phi ,\psi$ sind äquivalent (Notation: $\phi \equiv \psi$), wenn für alle Belegungen $\beta$ gilt:
$\beta \models \phi ⟺\beta \models \psi$.

• Reflexiv, symmetrisch, transitiv.
• Erlaubt ersetzendes Umformen in Beweisen und bei Normalformen.