Prädikatenlogik/Gleichheitsaxiome/Mehrfache Substitution/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Variablen, Terme und ein Ausdruck in einer prädikatenlogischen Sprache .

Dann ist

Zum Beweis, Alternativen Beweis erstellen