Substitution Gleichwertiger Ausdrücke

Das Prinzip, dass man eine Teilformel durch eine andere Teilformel ersetzen darf, zu der sie logisch äquivalent ist (d. h. φ ↔ ψ), innerhalb einer größeren Formel, ohne den logischen Gesamtwert zu ändern, vorausgesetzt die kontextuellen Beschränkungen werden beachtet.