imported>Aka: Punkt hinter Abkürzung gesetzt, Kleinkram

2020-04-18T14:44:10Z

Punkt hinter Abkürzung gesetzt, Kleinkram

Neue Seite

{{Belege fehlen|Es ist keine Literatur angegeben. --[[Benutzer:Maformatiker|Maformatiker]] ([[Benutzer Diskussion:Maformatiker|Diskussion]]) 18:02, 10. Dez. 2016 (CET)}}

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
:<math>a \Rightarrow (b \wedge c)</math>
(lies: „wenn <math>a</math>, dann <math>b</math> und <math>c</math>“) den Ausdruck <math>b</math> durch
:<math>c \vee d</math>
(lies: „<math>c</math> oder <math>d</math>“), so erhalten wir:
:<math>a \Rightarrow ((c \vee d) \wedge c)</math>.

Dabei ist <math>b</math> Substituendum, <math>c \vee d</math> Substituens, <math>a \Rightarrow (b \wedge c)</math> Substitutionsbasis und <math>a \Rightarrow ((c \vee d) \wedge c)</math> 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
:<math>b \Rightarrow (b \wedge c)</math>
den Ausdruck <math>b</math> durch
:<math>c \vee d</math>,
so erhalten wir bei universeller Substitution:
:<math> (c \vee d) \Rightarrow ((c \vee d) \wedge c)</math>.
Bei einfacher Substitution könnten wir auch folgendes erhalten:
:<math> (c \vee d) \Rightarrow (b \wedge c)</math>

Universelle und einfache Substitution spielen in unterschiedlichen Gesetzen eine Rolle:

=== Gesetz der universellen Substitution ===

Ist eine [[Logische Aussage|Aussage]] <math>A</math> ein [[Theorem]] und ist <math>A'</math> das Resultat der universellen Substitution von <math>b</math> durch <math>C</math>, so ist <math>A'</math> wiederum ein Theorem. Wichtig ist hier, dass universell substituiert wird; bei bloß einfacher Substitution ist nicht gewährleistet, dass <math>A'</math> ein Theorem ist. Eine weitere Voraussetzung ist, dass es sich bei dem Substituendum <math>b</math> um einen „Satzparameter“ handelt, d. h. um eine nicht-komplexe Formel, die überdies in keinem [[Axiom]] vorkommt. Für das Substituens <math>C</math> gibt es keine entsprechende Beschränkung.

''Beispiel:''

In dem Theorem
:<math>b \Rightarrow b</math>
können wir den Ausdruck <math>b</math> universell ersetzen durch
:<math>c \vee d</math>
und erhalten wiederum ein Theorem, nämlich:
:<math>(c \vee d) \Rightarrow (c \vee d)</math>
Bei einfacher Substitution könnten wir auch folgendes erhalten:
:<math>(c \vee d) \Rightarrow b,</math>
was kein Theorem ist.
Wenn wir die Forderung fallenließen, dass das Substituendum ein Satzparameter ist, so könnten wir den ganzen Ausdruck <math>b \Rightarrow b</math> durch eine Formel, etwa <math>c</math>, ersetzen und erhielten:
:<math>c,</math>
was natürlich ebenfalls kein Theorem ist.

Die Eigenschaft, dass universelle Substitution die Theorem-Eigenschaft erhält, wird in manchen [[Kalkül]]en 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 <math>B</math> und <math>C</math> [[Logische Äquivalenz|äquivalent]] und ist <math>A'</math> ein Resultat der einfachen Substitution von <math>B</math> durch <math>C</math> in <math>A</math>, dann sind <math>A</math> und <math>A'</math> ebenfalls äquivalent.

''Beispiel:''

Zwei äquivalente Aussagen sind beispielsweise:

<math>B: b \wedge c</math>

und

<math>C: c \wedge b</math>,

Wenn wir nun in der Aussage

<math>A: (b \wedge c) \Rightarrow ((b \wedge c) \wedge d)</math>

<math>B</math> durch <math>C</math> einfach substituieren, können wir folgendes erhalten:

<math>A': (c \wedge b) \Rightarrow ((b \wedge c) \wedge d)</math>

<math>A</math> und <math>A'</math> sind nun wiederum äquivalent.

== Der Begriff „zur Substitution frei“ ==

Ein [[Term]] <math>t</math> ist zur Substitution durch eine [[Variable (Logik)|Variable]] <math>x</math> in einer Formel <math>B</math> frei, wenn <math>t</math> nicht im [[Skopus (Logik)|Skopus]] eines [[Quantor]]s <math>\forall x</math> oder <math>\exists x</math> 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:
:<math>\exists x R(x)</math>
eine Existenz-Generalisierung von
:Frank raucht,
formal:
:<math>R(f)</math>
Es scheint nun so, als erhielte man eine Generalisierung, wenn man die Vorkommnisse des zu generalisierenden Terms (im Beispiel „Frank“ bzw. <math>f</math>) universell durch <math>x</math> ersetzt und einen Quantor <math>\forall x</math> oder <math>\exists x</math> vor die Aussage setzt. Man erhält eine Generalisierung aber nur unter der zusätzlichen Voraussetzung, dass der zu generalisierende Term zur Ersetzung durch <math>x</math> frei ist.

''Beispiel''

Man betrachte die Aussage
:Wenn jemand Frank liebt, ist Frank glücklich,
formal

<math>A: \exists x L(x,f) \Rightarrow G(f)</math>

Man beachte, dass hier <math>f</math> nicht zur Substitution durch <math>x</math> frei ist, da es im Skopus des Existenzquantors <math>\exists x</math> vorkommt. Daher ist auch folgende Aussage keine All-Generalisierung von <math>A</math>:
:<math>\forall x (\exists x L(x,x) \Rightarrow G(x))</math>
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 <math>f</math> in <math>A</math> zur Substitution mit <math>y</math> frei, daher kann man folgende All-Generalisierung bilden:
:<math>\forall y (\exists x L(x,y) \Rightarrow G(y))</math>
und diese Aussage hat dann die gewünschte Bedeutung, nämlich:
:„Alle, die jemand liebt, sind glücklich“.

[[Kategorie:Logik]]
[[Kategorie:Sprachphilosophie]]

Substitution (Logik) - Versionsgeschichte

imported>Aka: Punkt hinter Abkürzung gesetzt, Kleinkram