Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



48    2 Verfugbarkeit von Aussagen

Definition 2-1. Abschnitt in einer Sequenz (Metavariablen: ЭД, ®, ¢, ЭД', ®', ¢', ЭД*, ®*, £*,
■■■)

ЭД ist ein Abschnitt in ʃɔ
gdw

ʃɔ SEQ, ЭД 0, ЭД und ЭД = {(i, ⅛) | min(Dom(^)) ≤ i max(Dom(^))}.

Definition 2-2. Zuordnung der Menge der Abschnitte von ^ (ABS)

ABS = {(, X) | SEQ und X = {ЭД | ЭД ist ein Abschnitt in }}.

Definition 2-3, Definition 2-4 und Definition 2-5 dienen vor allem der Verflussigung des
Ausdrucks.

Definition 2-3. Abschnitt

ЭД ist ein Abschnitt gdw es gibt ein , so dass ЭД ein Abschnitt in ʃɔ ist.

Definition 2-4. Teilabschnitt

ЭД ist ein Teilabschnitt von ЭД' gdw ЭД, ЭД' sind Abschnitte und ЭД ЭД'.

Definition 2-5. Echter Teilabschnitt

ЭД ist ein echter Teilabschnitt von ЭД' gdw ЭД ist Teilabschnitt von ЭД' und ЭД ЭД'.

Theorem 2-1. Eine Sequenz ^ ist genau dann nicht-leer, wenn ABS⅛) nicht-leer ist

Wenn ʃɔ SEQ, dann: ʃɔ 0 gdw ABS() ≠ 0.

Beweis: Sei A ∈ SEQ. Sei zunachst A 0. Dann ist A ein Abschnitt in A und somit A ∈
ABS(). Sei nun ABS() ≠ 0. Dann gibt es ein ЭД, so dass ЭД ein Abschnitt in A ist. Dann
ist
ЭД 0 und ЭД ⊆ A und damit A 0. ■

Theorem 2-2. Das Abschnittspradikat ist bezuglich Teilmengenschaft zwischen Sequenzen
monoton

Wenn ⅛ ⅛' SEQ, ʃɔ ' und ЭД ein Abschnitt in ʃɔ ist, dann ist ЭД ein Abschnitt in ⅛'.

Beweis: Seien Д ⅛, SEQ, A ⊆ ⅛, und ЭД ein Abschnitt in . Dann ist ЭД 0 und ЭД ⊆
A ⊆ ⅛
,. Ferner ist A = 'ΓDom(). Damit ist

ЭД = {(i, i) | min(Dom(2l.)) ≤ i ≤ max(Dom(2t))[



More intriguing information

1. Who’s afraid of critical race theory in education? a reply to Mike Cole’s ‘The color-line and the class struggle’
2. The name is absent
3. The Making of Cultural Policy: A European Perspective
4. Education Responses to Climate Change and Quality: Two Parts of the Same Agenda?
5. The technological mediation of mathematics and its learning
6. Estimation of marginal abatement costs for undesirable outputs in India's power generation sector: An output distance function approach.
7. The name is absent
8. I nnovative Surgical Technique in the Management of Vallecular Cyst
9. Individual tradable permit market and traffic congestion: An experimental study
10. QUEST II. A Multi-Country Business Cycle and Growth Model