Einsetzungsregel (Logik)
# Einsetzungsregel (Logik)

Die Einsetzungsregel oder Ableitung durch Substitution ist eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz (einer allgemeingültigen Aussage) weitere abzuleiten und zu einer Aussage äquivalente Aussagen zu finden:

## Aussagenlogik

Sei $a$ eine allgemeingültige Aussage, die den Teilausdruck $t$ beinhaltet. Wenn jedes Auftreten von $t$ in $a$ gleichermaßen durch einen anderen Ausdruck $s$ ersetzt wird, ergibt sich wieder eine allgemeingültige Aussage.
Beispiel:
Gegeben sei die allgemeingültige Aussage $(p\vee \neg p)$. Ersetzt man $p$ durch $(p\wedge q)$, so ergibt sich $(p\wedge q)\vee \neg (p\wedge q)$, was sich umformen lässt zu $((p\wedge q)\vee \neg p\vee \neg q)$ als neue allgemeingültige Aussage.
Anwendung:
Diese Regel kann angewendet werden, um Ausdrücke in einfachere, äquivalente umzuformen.
Sei $a$ ein beliebiger Ausdruck, so kann ein in ihm enthaltener Teilausdruck durch eine neue Variable ersetzt (substituiert) werden. Wird der entstandene Ausdruck nach anderen Regeln äquivalent umgeformt und schließlich die Substitution rückgängig gemacht, ergibt sich eine zum ursprünglichen Ausdruck äquivalente Aussage.
Beispiel:
$(p\rightarrow (\neg p\wedge (q\vee p)))\wedge p$
Nun substituiere $(\neg p\wedge (q\vee p))$ durch s und erhalte
       $(p\rightarrow s)\wedge p$
    $\leftrightarrow (\neg p\vee s)\wedge p$
    $\leftrightarrow (\neg p\wedge p)\vee (s\wedge p)$
    $\leftrightarrow (s\wedge p).$
Resubstition ergibt $(\neg p\wedge (q\vee p)\wedge p)$, also $\bot$ (falsum, falsch).
Wieso ist dieses Verfahren korrekt?
Offenbar ist $a[t]\leftrightarrow a[t]$ für alle Ausdrücke $a$ mit Teilausdruck $t$ allgemeingültig. Nach Substitution von $t$ durch $s$ erhalten wir $a[s]\leftrightarrow a[s]$. Sei $b[s]$ äquivalent zu $a[s]$, so ist auch $a[s]\leftrightarrow b[s]$ allgemeingültig, also auch nach Resubstitution $a[t]\leftrightarrow b[t]$.

## Anmerkung

Die hin und wieder so genannte "Einsetzungsregel"
Prämissen:
    $a[t],s$
Konklusion:
    $a[{t \over s}]$ (Ersetze Teilausdruck t durch s)
ist nicht in jeder Situation korrekt. Beispielsweise gelten die "Prämissen" s = "Sokrates ist ein Mensch" und a = "Wenn Sokrates ein Tier ist, sind alle Menschen Tiere." aber nicht die durch Ersetzen der Teilaussage t = "Sokrates ist ein Tier" durch s entstandene Aussage $a[{t \over s}]$ = "Wenn Sokrates ein Mensch ist, sind alle Menschen Tiere."
Allerdings gilt (als Spezialfall der Ersetzungsregel) die Regel
Prämissen:
    $a[t],t,s$
Konklusion:
    $a[{t \over s}]$ (Ersetze Teilausdruck t durch s)

## Prädikatenlogik

Wenn in einer (in einem Modell) gültigen Aussage für eine allquantifizierte Variable $x$ gleichermaßen für jedes Auftreten von $x$ ein Term $t$ eingesetzt wird, ergibt sich eine (speziellere) gültige Aussage.
Beispiel:
Wenn $\forall x,y:x+y=y+x$ gilt, so auch (ersetze $x$ durch $(x+x)$): $\forall x,y:x+x+y=y+x+x$.