Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



2.1 Abschnitte und Abschnittsfolgen

53


Sei nun min(Dom(2l)) < min(Dom(2')) und max(Dom(2l)) < min(Dom(2l')) oder
min(Dom(
2')) < min(Dom(2)) und max(Dom(2')) < min(Dom(2)). Ware es nun der
Fall, dass
2 ∩ 2' ≠ 0. Dann gabe es ein i, so dass (i, i) 2 ∩ 2'. Dann gilt
min(Dom(
2)) ≤ i ≤ max(Dom(2)) und min(Dom(2')) ≤ i ≤ max(Dom(2')). Damit wurde
gelten: min(Dom(
2')) < min(Dom(2')) oder min(Dom(2)) < min(Dom(2)). Wider-
spruch! Also ist
2 ∩ 2' = 0. ■

Theorem 2-9. Zwei Abschnitte sind genau dann nicht elementfremd, wenn der Anfang von
einem von beiden in dem anderen liegt

Wenn A ∈ SEQ und 2, 2' ABS(), dann:

2 ∩ 2' ≠ 0

gdw

(i)   min(Dom(2)) Dom(2')

oder

(ii) min(Dom(2')) Dom(2).

Beweis: Sei .2 SEQ und 2, 2' ABS(). (L-R): Sei 2 ∩ 2' ≠ 0. Dann gibt es ein i
Dom(), so dass (i, i) 2 ∩ 2'. Dann gilt:

min(Dom(2)) ≤ i ≤ max(Dom(2)) und min(Dom(2')) ≤ i ≤ max(Dom(2'))
und

min(Dom(2')) ≤ min(Dom(2)) oder min(Dom(2)) ≤ min(Dom(2')).

Damit ist dann

min(Dom(2')) ≤ min(Dom(2)) ≤ i ≤ max(Dom(2'))
oder

min(Dom(2)) ≤ min(Dom(2')) ≤ i ≤ max(Dom(2)).

Damit gilt wiederum:

min(Dom(2)) Dom(2') oder min(Dom(2')) Dom(2).

(R-L): Gilt min(Dom(2)) Dom(2') oder min(Dom(2')) Dom(2), dann ist
(min(Dom(
2)), ^min(Dom(2))) 2 ∩ 2' oder (min(Dom(2')), mi∏(Dom(2'))) 2 ∩ 2' und in
beiden Fallen ist
2 ∩ 2' ≠ 0. ■



More intriguing information

1. The name is absent
2. The name is absent
3. Regional Intergration and Migration: An Economic Geography Model with Hetergenous Labour Force
4. Stillbirth in a Tertiary Care Referral Hospital in North Bengal - A Review of Causes, Risk Factors and Prevention Strategies
5. Thresholds for Employment and Unemployment - a Spatial Analysis of German Regional Labour Markets 1992-2000
6. The Composition of Government Spending and the Real Exchange Rate
7. AN ECONOMIC EVALUATION OF THE COLORADO RIVER BASIN SALINITY CONTROL PROGRAM
8. Education as a Moral Concept
9. The name is absent
10. On the estimation of hospital cost: the approach