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. Surveying the welfare state: challenges, policy development and causes of resilience
2. On the Real Exchange Rate Effects of Higher Electricity Prices in South Africa
3. The name is absent
4. Picture recognition in animals and humans
5. Proceedings of the Fourth International Workshop on Epigenetic Robotics
6. Une Classe de Concepts
7. ‘I’m so much more myself now, coming back to work’ - working class mothers, paid work and childcare.
8. Initial Public Offerings and Venture Capital in Germany
9. THE DIGITAL DIVIDE: COMPUTER USE, BASIC SKILLS AND EMPLOYMENT
10. The name is absent