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. Evidence-Based Professional Development of Science Teachers in Two Countries
2. A Note on Productivity Change in European Co-operative Banks: The Luenberger Indicator Approach
3. The name is absent
4. New Evidence on the Puzzles. Results from Agnostic Identification on Monetary Policy and Exchange Rates.
5. MULTIPLE COMPARISONS WITH THE BEST: BAYESIAN PRECISION MEASURES OF EFFICIENCY RANKINGS
6. The name is absent
7. Developmental Robots - A New Paradigm
8. Trade Liberalization, Firm Performance and Labour Market Outcomes in the Developing World: What Can We Learn from Micro-LevelData?
9. Foreign Direct Investment and the Single Market
10. Review of “The Hesitant Hand: Taming Self-Interest in the History of Economic Ideas”