Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



152   3 Der Redehandlungskalkul

fur (vi) VAN(S') VAN(S). Dann gilt VAN(S) £ VAN(S') und damit mit Theorem
2-75 VANS(
S) £ VANS(S'). Damit gilt mit (ii): VANS(S') VANS(S) und damit mit
(iii), dass
S' SEF(S) и NEF(S) и PBF(S). ■

Theorem 3-28. Ohne AR, SE, NE oder PB gibt es keine VAN-Veranderung

Wenn S ∈ RGS und S ∉ AF(StDom(S)-1) SEF(SiDom(S)-1) NEF(SiDom(S)-1)
PBF(StDom(S)-1), dann VAN(S) = VAN(Sl'Dom(S)-1).

Beweis: Sei S ∈ RGS und S AF(Dom(S)-1) и SEF(Dom(S)-1) и
NEF(Dom(S)-1) и PBF(Dom(S)-1). Dann ist S = 0 oder S 0. Im ersten Fall ist
Dom(S)-1 ⊆ S = 0 und das Theorem gilt. Sei nun S 0. Nach Theorem 3-6 und
Definition 3-18 gilt dann
erstens S ∈ KEF(Dom(S)-1) oder S ∈ BEF(Dom(S)-1)
oder
S ∈ AEF(Dom(S)-1) oder S ∈ UEF(Dom(S)-1) oder S ∈ PEF(Dom(S)-1)
oder
S ∈ IEF(Dom(S)-1) oder zweitens S ∈ SBF(Dom(S)-1) oder S ∈
KBF(Dom(S)-1) oder S ∈ BBF(Dom(S)-1) oder S ∈ ABF(Dom(S)-1) oder S
NBF(Dom(S)-1) oder S ∈ UBF(Dom(S)-1) oder S ∈ IBF(Dom(S)-1). In den
ersten sechs Fallen folgt VAN(S) = VAN(Dom(S)-1) aus Theorem 3-26-(v) und -(vi).
In den
restlichen Fallen folgt VAN(S) = VAN(Dom(S)-1) aus Theorem 3-27-(v) und
-(vi). ■

Theorem 3-29. VERS, VANS, VER und VAN bleiben aus Beschrankungen, deren Konklusion
verfugbar bleibt, in der unbeschrankten Sequenz erhalten.

Wenn S ∈ RGS und Γ in S bei i verfugbar ist, dann:

(i)   VERS(SN+1) VERS(S),

(ii) VANS(SN+1) VANS(S),
(iii) VER(
SN+1) VER(S) und
(iv) VAN(
SN+1) VAN(S).

Beweis: Sei S ∈ RGS und Γ in S bei i verfugbar. Dann gilt nach Definition 2-26: i ∈
Dom(S) und Γ = A(Si) und es gibt keinen geschlossenen Abschnitt `d in S, so dass
mιn(Dom('
d)) ≤ i < max(Dom(^)).

Zu (i): Sei zum Nachweis von VERS(SΓi+1) VERS(S) (j, ∑) VERS(SΓi+1). Also
mit Definition 2-28:
jDom(SΓi+1) und (SΓi+1)j = Σ und Α(Σ) ist in SΓi+1 bei j ver-
fugbar. Damit gibt es nach Definition 2-26 keinen geschlossenen Abschnitt `d in
Sti+1,
so dass min(Dom(
^)) ≤ j < max(Dom(^)). Ware nun (j, Σ) VERS(S), dann ware j ∉



More intriguing information

1. The name is absent
2. The Employment Impact of Differences in Dmand and Production
3. Cardiac Arrhythmia and Geomagnetic Activity
4. Place of Work and Place of Residence: Informal Hiring Networks and Labor Market Outcomes
5. Non-farm businesses local economic integration level: the case of six Portuguese small and medium-sized Markettowns• - a sector approach
6. Regional science policy and the growth of knowledge megacentres in bioscience clusters
7. Passing the burden: corporate tax incidence in open economies
8. Urban Green Space Policies: Performance and Success Conditions in European Cities
9. The Impact of Optimal Tariffs and Taxes on Agglomeration
10. Types of Tax Concessions for Promoting Investment in Free Economic and Trade Areas