Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



2.3 VERS, VANS, VER und VAN 109

Theorem 2-82. Die Konklusion ist immer verfugbar

Wenn S ∈ SEQ{0}, dann ist K(S) in S bei Dom(S)-1 verfugbar.

Beweis: Sei S ∈ SEQ{0}. Dann gilt fur alle geschlossenen Abschnitte λ in S:
nuιx(Dom(
S)) ≤ Dom(S)-1 und also gibt es keinen geschlossenen Abschnitt λ in S, so
dass niin(Dom(
S)) ≤ Dom(S)-1 < max(Dom(S)). Also ist A(SDom(S)-ι) = K(S) in S bei
Dom(
S)-1 verfugbar. ■

Theorem 2-83. Zusammenhang von Nichtverfugbarkeit und der Entstehung eines geschlosse-
nen Abschnitts beim Ubergang von
Si^Dom(S)-1 auf S

Wenn S ∈ SEQ und VERS(SfDom(S)-1)VERS(S) ≠ 0, dann:

Es gibt ein B, so dass B ein geschlossener Abschnitt in S ist und

(i)   min(Dom(B)) ≤ Dom(S)-2 und max(Dom(B)) = Dom(S)-1,

(ii) Fur alle geschlossenen Abschnitte C in Si^Dom(S)-1 gilt: B[^Dom(S)-1 ∩ C = 0 oder
min(Dom(
B)) < min(Dom(C)) und max(Dom(C)) < Dom(S)-1,

(iii) Fur alle geschlossenen Abschnitte C* in S gilt: Wenn C* kein geschlossener Ab-
schnitt in
Si^Dom(S)-1 ist, dann ist C* = B,

(iv) VERS(Sl'Dom(S)-1)VERS(S) {(j, Sj) | min(Dom(B)) ≤ j < Dom(S)-1},

(v) VERS(S) = (VERS(Si^Dom(S)-1){(j, Sj) | min(Dom(B)) ≤ j < Dom(S)-1})
{(Dom(S)-1, ‰mw)-1)},

(vi) VANS(SfDom(S)-1)VANS(S) = {(min(Dom(B)), Smm(Dom(B)))},

(vii) VANS(Sl'Dom(S)-1) = VANS(S) {(min(Dom(B)), Smin(DomB)))},

(viii) VER(Si^Dom(S)-1)VER(S) {A(Sj) | min(Dom(B)) ≤ j < Dom(S)-1},

(ix) VERStDom(SH) {A(Sj) | j Dom(VERS(S)fDom(S)-1)}

{A(Sj) | min(Dom(B)) ≤ j < Dom(S)-1},

(x)   VAN(SfDom(S)-1)VAN(S) {A(Smn(Dom(B)))} und

(xi) VAN(S∣,Dom(S)-1) = VAN(S) {‰oms)))}.

Beweis: Sei S ∈ SEQ und sei VERS(Dom(S)-1)WERS(S) ≠ 0. Dann gibt es nach
Definition 2-28 ein
i Dom(S)-1, so dass (i, Si) VERS(Dom(S)-1)VERS(S).
Dann ist
Dom(S)-1 ≠ 0 und damit S 0.

Dann gilt nach Definition 2-28 und Definition 2-26, dass es kein B' gibt, so dass B' ein
geschlossener Abschnitt in
Dom(S)-1 ist und min(Dom(B')) ≤ i < max(Dom(B')) und
dass es ein
B gibt, so dass B ein geschlossener Abschnitt in S ist und min(Dom(B)) ≤ i
< max(Dom(B)).

Zu (i): Es ist zunachst max(Dom(B)) ≤ Dom(S)-1. Ware nun Dom(S)-2 <
min(Dom(
B)). Dann ware mit Theorem 2-44 Dom(S)-1 ≤ min(Dom(B)) <



More intriguing information

1. Top-Down Mass Analysis of Protein Tyrosine Nitration: Comparison of Electron Capture Dissociation with “Slow-Heating” Tandem Mass Spectrometry Methods
2. The name is absent
3. A Dynamic Model of Conflict and Cooperation
4. The effect of classroom diversity on tolerance and participation in England, Sweden and Germany
5. Towards a Strategy for Improving Agricultural Inputs Markets in Africa
6. Volunteering and the Strategic Value of Ignorance
7. THE CO-EVOLUTION OF MATTER AND CONSCIOUSNESS1
8. The name is absent
9. An alternative way to model merit good arguments
10. DISCRIMINATORY APPROACH TO AUDITORY STIMULI IN GUINEA FOWL (NUMIDA MELEAGRIS) AFTER HYPERSTRIATAL∕HIPPOCAMP- AL BRAIN DAMAGE
11. EU enlargement and environmental policy
12. Quality Enhancement for E-Learning Courses: The Role of Student Feedback
13. The name is absent
14. Corporate Taxation and Multinational Activity
15. LOCAL PROGRAMS AND ACTIVITIES TO HELP FARM PEOPLE ADJUST
16. The name is absent
17. Multimedia as a Cognitive Tool
18. An Investigation of transience upon mothers of primary-aged children and their school
19. An institutional analysis of sasi laut in Maluku, Indonesia
20. Foreign Direct Investment and Unequal Regional Economic Growth in China