Prädikatenlogik/Substitutionslemma/Fakt

Aus Wikiversity
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