Lexikon der Argumente

 

I 202f
Einsetzungsregel/Einsetzen/Quantorenlogik:
1. In A wird i nur an den Stellen ersetzt, wo es frei vorkommt
2. Falls sich i in A im Wirkungsbereich eines Quantors befindet, der die Variable h bindet, so darf für i kein Ausdruck eingesetzt werden, der h als freie Variable enthält.
((s) Bsp ("h)(P(h) ∧ i): hier dürfte i nicht "h ∧ y" bedeuten. "Alles was ich besitze sind Fahrräder und außerdem ein Fahrrad...".).
Bsp Wessel: Alleinführung: aus A folgt AiA: A:"x ist später als 1900 geboren" > "x ist noch keine 100 Jahre alt. - Wenn i frei in den Annahmen des Beweises vorkäme dann falsch: "alle Menschen sind später als 1900 geboren".
>Freie Variable, >Gebundene Variable, >Variablen, >Quantifikation, >Stufen/Ebenen, >Alleinführung, >Existenzeinführung, >Einführung, >Allquantifikation, >Existenzquantifikation.