Prädikatenlogik/Substitutionslemma/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Substitutionslemma

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben und es seien paarweise verschiedene Variablen und fixierte -Terme. Es sei eine -Interpretation gegeben. Dann gelten folgende Aussagen.

  1. Für jeden -Term gilt
  2. Für jeden -Ausdruck gilt
Zum Beweis, Alternativen Beweis erstellen