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. Ruptures in the probability scale. Calculation of ruptures’ values
2. Endogenous Determination of FDI Growth and Economic Growth:The OECD Case
3. MANAGEMENT PRACTICES ON VIRGINIA DAIRY FARMS
4. Spatial Aggregation and Weather Risk Management
5. Do the Largest Firms Grow the Fastest? The Case of U.S. Dairies
6. Influence of Mucilage Viscosity On The Globule Structure And Stability Of Certain Starch Emulsions
7. AGRICULTURAL TRADE IN THE URUGUAY ROUND: INTO FINAL BATTLE
8. Computational Experiments with the Fuzzy Love and Romance
9. The name is absent
10. An institutional analysis of sasi laut in Maluku, Indonesia