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. Locke's theory of perception
2. Skills, Partnerships and Tenancy in Sri Lankan Rice Farms
3. Estimating the Impact of Medication on Diabetics' Diet and Lifestyle Choices
4. From Aurora Borealis to Carpathians. Searching the Road to Regional and Rural Development
5. Educational Inequalities Among School Leavers in Ireland 1979-1994
6. School Effectiveness in Developing Countries - A Summary of the Research Evidence
7. The name is absent
8. The Formation of Wenzhou Footwear Clusters: How Were the Entry Barriers Overcome?
9. Trade Liberalization, Firm Performance and Labour Market Outcomes in the Developing World: What Can We Learn from Micro-LevelData?
10. Getting the practical teaching element right: A guide for literacy, numeracy and ESOL teacher educators