Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



50    2 Verfugbarkeit von Aussagen

Theorem 2-3. Abschnitte in Beschrankungen11

Wenn ft SEQ, dann: 21. ist ein Abschnitt in ft gdw ^ ist ein Abschnitt in
fti max(Dom(^))+1.

Beweis: Sei ft SEQ. (L-R): Sei 2i ein Abschnitt in ft. Dann ergibt sich: 2i ≠ 0, 2i ft
und damit: ftfmax(Dom(W))+1 SEQ. Sodann ist 2i ftfmax(Dom(W))+1 ft und
somit

21. = {(i, fti) | min(Dom(^)) ≤ i max(Dom(2i))}

{(i, (ftimax(Dom(2i))+i),) | min(Dom(^)) ≤ i max(Dom(2i))}

und 2i somit insgesamt ein Abschnitt in ftΓmax(Dom(W))+1. (R-L): Ist umgekehrt 2i ein
Abschnitt in
ftfmax(Dom(W))+1, dann ist ftΓmax(Dom(^))+1 SEQ und nach der Ein-
gangsvoraussetzung
ft eine Sequenz und mit ftΓmax(Dom(^))+1 ft und Theorem 2-2
2i auch ein Abschnitt in
ft. ■

Bemerkung 2-2. F-Abschnitte in Beschrankungen

Wenn F eines der im Folgenden definierten Abschnittspradikate ist, dann gilt: Wenn ft
SEQ, dann: 21. ist ein F -Abschnitt in ft gdw 21. ist ein F-Abschnitt in ftfmax(Dom(^))+1.

Erlauterung: Alle folgenden Definitionen von Abschnittspradikaten haben die Form wie
in Bemerkung 2-1 angegeben, wobei fur
H jeweils gilt: Wenn ft SEQ, 2i ABS(ft)
(bzw., aquivalent dazu: 2i ist ein Abschnitt in
ft) und H(2L ft), dann H(2f
ftΓmax(Dom(W))+1). Der Grund ist jeweils, dass in den Definientia nur Bezug auf Ver-
haltnisse in
ftΓmax(Dom(^))+1 genommen wird. Damit ergibt sich dann mit Theorem 2-3
und der entsprechenden Definition jeweils: Wenn
ft eine Sequenz ist und 2i ein F -
Abschnitt in
ft ist, dann ist 2i ein F -Abschnitt in ftΓmax(Dom(^))+1. Fur die Gegenrich-
tung siehe Bemerkung 2-1. ■

11


'..!..' ist der Beschrankungsoperator. Dabei gelte: RіX = {(a, b) | (a, b) R und a X}.



More intriguing information

1. On Social and Market Sanctions in Deterring non Compliance in Pollution Standards
2. Permanent and Transitory Policy Shocks in an Empirical Macro Model with Asymmetric Information
3. AGRICULTURAL TRADE IN THE URUGUAY ROUND: INTO FINAL BATTLE
4. Modelling the Effects of Public Support to Small Firms in the UK - Paradise Gained?
5. Towards Learning Affective Body Gesture
6. Tax systems and tax reforms in Europe: Rationale and open issue for more radical reforms
7. Examining Variations of Prominent Features in Genre Classification
8. Bridging Micro- and Macro-Analyses of the EU Sugar Program: Methods and Insights
9. Qualification-Mismatch and Long-Term Unemployment in a Growth-Matching Model
10. AJAE Appendix: Willingness to Pay Versus Expected Consumption Value in Vickrey Auctions for New Experience Goods