Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



3.3 VERS, VANS, VER und VAN in Ableitungen und bei einzelnen Ubergangen 153

Dom(ft) oder ftj∙ ≠ Σ oder Α(Σ) ist in ft bei j nicht verfugbar. Da ftti+1 eine Beschran-
kung von
ft ist und j Dom(ftΓi+1), kann nur letzteres zutreffen. Es gilt also j
Dom(ft) und ftj = Σ und Α(Σ) ist in ft bei j nicht verfugbar. Damit gibt es nach Definition
2-26 einen geschlossenen Abschnitt 'd in
ft, so dass min(Dom(^)) ≤ j < max(Dom(^)).
Nach Theorem 2-64-(viii) ist 'd auch ein geschlossener Abschnitt in
ftΓmax(Dom(^))+1.
Ware nun
i < max(Dom(^)), so ware wegen j Dom(ftΓi+1) und damit j i auch
mιn(Dom('
d)) ≤ i < max(Dom(^)). Damit ware entgegen der Annahme A(fti) = Γ nicht in
ft bei i verfugbar. Also max(Dom(^)) ≤ i und damit max(Dom(^))+1 ≤ i+1. Also
ftΓmax(Dom(W))+1 ftΓi+1. Mit Theorem 2-62-(viii) ist 'd dann auch ein geschlossener
Abschnitt in
ftΓi+1. Also gibt es einen geschlossenen Abschnitt 'd in ftΓi+1, so dass
min(Dom(
W)) ≤ j < max(Dom(^)). Widerspruch! Also (j, Σ) VERS(ft).

Zu (ii), (iii) und (iv): Mit Theorem 2-72 ergibt sich (ii) aus (i). Mit Theorem 2-74 ergibt
sich (iii) aus (i). Mit Theorem 2-75 ergibt sich (iv) aus (ii). ■

Theorem 3-30. VERS, VANS, VER und VAN in Ableitungen

Wenn ft SEQ, dann:

ft RGS

gdw

Fur alle i Dom(ft):

(i)    ft[7+1 AF(ft[7) und

a)    VERS(ftfi+1)VERS(ftfi) = {(i, ft.,)},

b)   VERS(ft[7+1) = VERS(ft[7) и {(i, ft.,)},

c)   VANS(fti+1)VANS(ftN) = {(i, ft,i)},

d)   VANS(ft[7+1) = VANS(ft[7) и {(i, ft.,)},

e)   VER(ft[7+1)VER(ft[7) {A(fti)},

f)    VER(ft[7+1) = VER(ftN) и {A(fti)},

g)   VAN(ft[7+1)VAN(ft[7) {A(fti)} und

h)   VAN(ft[7+1) = VAN(ft[7) и {A(ft,,)}

oder

(ii) ft[7+1 SEF(ft[7) und

a)    {(j, ftj) I max(Dom(VΛNS(ft7))) ≤ j i} ist ein SE-geschlossener Abschnitt

in ft[7+1,

b)   VERS(ftfi)VERS(ftfi+1) {(j, ftj) max(Dom(VANS(ftfi))) ≤ j i},

c)   VERS(ftN+1) =

(VERS(ftΓi){(j', ftj) I max(Dom(VANS(ft[7))) ≤ j i}) и {(i, ft.,)},

d)   VANS(ft[7)VANS(ft[7+1) = {(max(Dom(VANS(ftfi))), ftmax(Dom(VANS(ftr*))))},



More intriguing information

1. Graphical Data Representation in Bankruptcy Analysis
2. Foreword: Special Issue on Invasive Species
3. Do Decision Makers' Debt-risk Attitudes Affect the Agency Costs of Debt?
4. The name is absent
5. How Offshoring Can Affect the Industries’ Skill Composition
6. Willingness-to-Pay for Energy Conservation and Free-Ridership on Subsidization – Evidence from Germany
7. Magnetic Resonance Imaging in patients with ICDs and Pacemakers
8. The name is absent
9. Surveying the welfare state: challenges, policy development and causes of resilience
10. MICROWORLDS BASED ON LINEAR EQUATION SYSTEMS: A NEW APPROACH TO COMPLEX PROBLEM SOLVING AND EXPERIMENTAL RESULTS