Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



2.2 Geschlossene Abschnitte

91


Definition 2-25. PB-geschlossener Abschnitt

21.ist ein PB-geschlossener Abschnitt in ʃɔ
gdw

21. ist ein geschlossener Abschnitt und ein EA-artiger Abschnitt in ʃɔ.

Theorem 2-61. SE-, NE- und PB-geschlossene Abschnitte und nur diese sind geschlossene
Abschnitte

21. ist ein geschlossener Abschnitt in ʃɔ
gdw

21. ist ein SE- oder NE- oder PB-geschlossener Abschnitt in ʃɔ.

Beweis: Ergibt sich aus Definition 2-22, Definition 2-23, Definition 2-24, Definition 2-25
und Theorem 2-42. ■

Theorem 2-62. Monotonie der (F-)geschlossener Abschnitt1-Pradikate

Wenn , ' SEQ und ', dann:

(i) Wenn 21. ein SE-geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein SE-geschlossener
Abschnitt in
',

(ii) Wenn 21. ein NE-geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein NE-geschlossener
Abschnitt in
',

(iii) Wenn 21. ein PB-geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein PB-geschlossener
Abschnitt in
'

(iv)   Wenn 21. ein minimaler SE-geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein minimaler

SE-geschlossener Abschnitt in '

(v)   Wenn 21. ein minimaler NE-geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein minimaler

NE-geschlossener Abschnitt in ',

(vi)   Wenn 21. ein minimaler PB-geschlossener Abschnitt in ^ ist, dann ist 21. ein minimaler

PB-geschlossener Abschnitt in ',

(vii) Wenn 21. ein minimaler geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein minimaler
geschlossener Abschnitt in
und

(viii) Wenn 21. ein geschlossener Abschnitt in ʃɔ ist, dann ist 21. ein geschlossener Abschnitt
in #.

Beweis: Siehe Bemerkung 2-1. ■



More intriguing information

1. The name is absent
2. The name is absent
3. Testing for One-Factor Models versus Stochastic Volatility Models
4. Fertility in Developing Countries
5. The name is absent
6. The Dictator and the Parties A Study on Policy Co-operation in Mineral Economies
7. THE CO-EVOLUTION OF MATTER AND CONSCIOUSNESS1
8. Incorporating global skills within UK higher education of engineers
9. The duration of fixed exchange rate regimes
10. Short Term Memory May Be the Depletion of the Readily Releasable Pool of Presynaptic Neurotransmitter Vesicles