# Substitution (Logik)

Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen.
Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden:
* das Substituendum (lat.: „das zu Ersetzende“): der Ausdruck, der ersetzt wird
* das Substituens (lat.: „das Ersetzende“): der Ausdruck, der ersetzt
* die Substitutions-Basis: der Ausdruck, in dem ersetzt wird
* das Substitutionsresultat: das Ergebnis der Ersetzung.
Beispiel:
Ersetzen wir in dem Ausdruck
    $a\Rightarrow (b\wedge c)$
(lies: „wenn $a$, dann $b$ und $c$“) den Ausdruck $b$ durch
    $c\vee d$
(lies: „$c$ oder $d$“), so erhalten wir:
    $a\Rightarrow ((c\vee d)\wedge c)$.
Dabei ist $b$ Substituendum, $c\vee d$ Substituens, $a\Rightarrow (b\wedge c)$ Substitutionsbasis und $a\Rightarrow ((c\vee d)\wedge c)$ Substitutionsresultat.
Man unterscheidet zwischen universeller und einfacher Substitution, außerdem ist in der Quantorenlogik auch der Begriff „frei zur Substitution“ von Bedeutung.

## Universelle und einfache Substitution

Bei der universellen Substitution müssen alle Vorkommnisse des Substituendums ersetzt werden, bei der einfachen Substitution brauchen nicht alle Vorkommnisse ersetzt zu werden. Der Unterschied zwischen den beiden Substitutions-Arten wird also erst relevant, wenn es mindestens zwei Vorkommnisse des Substituendums in der Substitutions-Basis gibt. Bei der universellen Substitution kommt das Substituendum im Substitutions-Resultat nicht mehr vor, bei der einfachen Substitution kann es immer noch vorkommen.
Beispiel:
Ersetzen wir in dem Ausdruck
    $b\Rightarrow (b\wedge c)$
den Ausdruck $b$ durch
    $c\vee d$,
so erhalten wir bei universeller Substitution:
    $(c\vee d)\Rightarrow ((c\vee d)\wedge c)$.
Bei einfacher Substitution könnten wir auch folgendes erhalten:
    $(c\vee d)\Rightarrow (b\wedge c)$
Universelle und einfache Substitution spielen in unterschiedlichen Gesetzen eine Rolle:

### Gesetz der universellen Substitution

Ist eine Aussage $A$ ein Theorem und ist $A'$ das Resultat der universellen Substitution von $b$ durch $C$, so ist $A'$ wiederum ein Theorem. Wichtig ist hier, dass universell substituiert wird; bei bloß einfacher Substitution ist nicht gewährleistet, dass $A'$ ein Theorem ist. Eine weitere Voraussetzung ist, dass es sich bei dem Substituendum $b$ um einen „Satzparameter“ handelt, d. h. um eine nicht-komplexe Formel, die überdies in keinem Axiom vorkommt. Für das Substituens $C$ gibt es keine entsprechende Beschränkung.
Beispiel:
In dem Theorem
    $b\Rightarrow b$
können wir den Ausdruck $b$ universell ersetzen durch
    $c\vee d$
und erhalten wiederum ein Theorem, nämlich:
    $(c\vee d)\Rightarrow (c\vee d)$
Bei einfacher Substitution könnten wir auch folgendes erhalten:
    $(c\vee d)\Rightarrow b,$
was kein Theorem ist. Wenn wir die Forderung fallenließen, dass das Substituendum ein Satzparameter ist, so könnten wir den ganzen Ausdruck $b\Rightarrow b$ durch eine Formel, etwa $c$, ersetzen und erhielten:
    $c,$
was natürlich ebenfalls kein Theorem ist.
Die Eigenschaft, dass universelle Substitution die Theorem-Eigenschaft erhält, wird in manchen Kalkülen ausgenutzt, indem dies als Schlussregel formuliert wird. Die Regel der universellen Substitution besagt, dass man in jeder Formel, die man mit einem Beweis gewonnen hat, jeden Satzparameter durch eine beliebige Aussage universell ersetzen kann.

### Gesetz der Substitution von äquivalenten Aussagen

Sind zwei Aussagen $B$ und $C$ äquivalent und ist $A'$ ein Resultat der einfachen Substitution von $B$ durch $C$ in $A$, dann sind $A$ und $A'$ ebenfalls äquivalent.
Beispiel:
Zwei äquivalente Aussagen sind beispielsweise:
$B:b\wedge c$
und
$C:c\wedge b$,
Wenn wir nun in der Aussage
$A:(b\wedge c)\Rightarrow ((b\wedge c)\wedge d)$
$B$ durch $C$ einfach substituieren, können wir folgendes erhalten:
$A':(c\wedge b)\Rightarrow ((b\wedge c)\wedge d)$
$A$ und $A'$ sind nun wiederum äquivalent.

## Der Begriff „zur Substitution frei“

Ein Term $t$ ist zur Substitution durch eine Variable $x$ in einer Formel $B$ frei, wenn $t$ nicht im Skopus eines Quantors $\forall x$ oder $\exists x$ steht.
Der Hintergrund dieser Definition ist folgender: Man will in der Quantorenlogik davon sprechen, dass eine Aussage eine All- oder Existenz-Generalisierung einer anderen darstellt. Zum Beispiel ist
    Jemand raucht,
formal:
    $\exists xR(x)$
eine Existenz-Generalisierung von
    Frank raucht,
formal:
    $R(f)$
Es scheint nun so, als erhielte man eine Generalisierung, wenn man die Vorkommnisse des zu generalisierenden Terms (im Beispiel „Frank“ bzw. $f$) universell durch $x$ ersetzt und einen Quantor $\forall x$ oder $\exists x$ vor die Aussage setzt. Man erhält eine Generalisierung aber nur unter der zusätzlichen Voraussetzung, dass der zu generalisierende Term zur Ersetzung durch $x$ frei ist.
Beispiel
Man betrachte die Aussage
    Wenn jemand Frank liebt, ist Frank glücklich,
formal
$A:\exists xL(x,f)\Rightarrow G(f)$
Man beachte, dass hier $f$ nicht zur Substitution durch $x$ frei ist, da es im Skopus des Existenzquantors $\exists x$ vorkommt. Daher ist auch folgende Aussage keine All-Generalisierung von $A$:
    $\forall x(\exists xL(x,x)\Rightarrow G(x))$
denn diese Aussage bedeutet:
    „Wenn jemand sich selbst liebt, sind alle glücklich“
und dies geht vollkommen an der Bedeutung der ursprünglichen Aussage vorbei.
Man kann aber in einem solchen Fall immer eine Generalisierung mit einer anderen Variable vornehmen. Beispielsweise ist $f$ in $A$ zur Substitution mit $y$ frei, daher kann man folgende All-Generalisierung bilden:
    $\forall y(\exists xL(x,y)\Rightarrow G(y))$
und diese Aussage hat dann die gewünschte Bedeutung, nämlich:
    „Alle, die jemand liebt, sind glücklich“.