204 4 Theoreme zur deduktiven Konsequenzschaft
A4
A5
= A3 ∪ {(Dom(A3), rAlso Γ∣)}
= A4 ∪ {(Dom(A4), rAiso γ∣)}.
Zunachst ist A5Dom(A*) ∈ ASATZ. Sodann gilt mit α ∈ KONST∖TTSEQ(A*) auch α ∉
TTFM({[β*, ξ, Δ], Γ}) und damit, dass K(A 1) ≠ K(A2), K(A2) ≠ K(A3) und K(A3) ≠ r[β*,
ξ, Δ] → K(A2)∣. Mit Theorem 1-8 ist zudem K(A3) ≠ K(A4). Auβerdem gilt mit Theorem
1-10 und Theorem 1-11, dass K(A2) keine Subjunktion und K(A2) und K(A3) keine Nega-
tionen sind. Zudem ist K(A1) = l^[β*, ξ, Δ]∣ ≠ r—([β*, ξ, Δ] → Γ)∣ = r— K(A3)∣ und
K(A1) = Γ ≠ r[β*, ξ, Δ] → ([β*, ξ, Δ] → Γ)∣ = r K(A1) → K(A3)∣. Damit gilt mit
Theorem 2-42, Definition 2-11, Definition 2-12 und Definition 2-13, dass fur alle k mit 1
≤ k ≤ 4 gilt: Es gibt keinen geschlossenen Abschnitt ^ in Ak fur den mιn(Dom(A)) =
Dom(A*). Mit Theorem 2-47 gilt damit fur alle k mit 1 ≤ k ≤ 4: Es gibt keinen geschlos-
senen Abschnitt ^ in Ak fur den mιn(Dom(A)) ≤ Dom(A*) ≤ max(Dom(^)). Damit ergibt
sich auch, dass fur alle k mit 1 ≤ k ≤ 4 gilt, dass Dom(A*) = max(Dom(VANS(Ak))). Mit
Theorem 3-19-(i), Theorem 3-20-(i), Theorem 3-21-(i) und Theorem 2-61 gilt dann fur al-
le k mit 2 ≤ k ≤ 4: Ak ∉ SEF(Ak-1) ∪ NEF(Ak-1) ∪ PBF(Ak-1).
Hingegen ist erstens nach Definition 3-1 A1 ∈ AF(A) ⊆ RGS∖{0} und mit Theorem
3-15 VERS(A1) = VERS(A*) ∪ {(Dom(A*), rSei [β*, ξ, Δ]∣)} und VANS(A1) =
VANS(A*) ∪ {(Dom(A), rSei [β*, ξ, Δ]∣)}, (Dom(A*)-1, A5Dom(A*)-1) ∈ VERS(A1), wo-
bei A(A5Dom(A*)-1) = rVξΔ∣, und rΛξ(Δ → Γ)∣ ∈ VER(A*) ⊆ VER(A1) und [β*, ξ, Δ] ∈
VER(A1). Sodann ist zweitens nach Definition 3-16 A2 ∈ IEF(A1) ⊆ RGS∖{0} und mit
Theorem 3-25 VERS(A2) = VERS(A1) ∪ {(Dom(A1), rAlso α = α∣)}. Damit gilt
(Dom(A*), rSei [β*, ξ, Δ]∣) ∈ VANS(A1) = VANS(A2) und rΛξ(Δ → Γ)∣, [β*, ξ, Δ] ∈
VER(A1) ⊆ VER(A2) und (Dom(A*)-1, A5Dom(A*)-1) ∈ VERS(A2). Also ist drittens nach
Definition 3-13 A3 ∈ UBF(A2) ⊆ RGS∖{0} und mit Theorem 3-25 VERS(A3) =
VERS(A2) ∪ {(Dom(A2), rAlso [β*, ξ, Δ] → Γ∣)}. Damit gilt (Dom(A*), rSei [β*, ξ,
Δ]∣) ∈ VANS(A2) = VANS(A3) und (Dom(A*)-1, A5Dom(A*)-1) ∈ VERS(A3) und [β*, ξ,
Δ] ∈ VER(A2) ⊆ VER(A3) und l^[β*, ξ, Δ] → Γ∣ ∈ VER(A3). Also ist viertens nach
Definition 3-3 A4 ∈ SBF(A3) ⊆ RGS∖{0} und mit Theorem 3-25 VERS(A4) = VERS(A3)
∪ {(Dom(A3), rAlso Γ∣)}. Damit gilt (Dom(A*), rSei [β*, ξ, Δ]∣) ∈ VANS(A3) =
VANS(A4) und (Dom(A*)-1, A5Dom(A*)-1), (Dom(A*)+3, rAlso Γ∣) ∈ VERS(A4).
Insgesamt gilt damit β* ∈ PAR, ξ ∈ VAR, Δ ∈ FORM, FV(Δ) ⊆ {ξ}, Γ ∈ GFORM
Dom(A*)-1 ∈ Dom(A4), A(A4Dom(A*)-1) = r∀ξΔ^, und (Dom(A*)-1, A4Dom(A*)-1) ∈
More intriguing information
1. The name is absent2. The resources and strategies that 10-11 year old boys use to construct masculinities in the school setting
3. Estimated Open Economy New Keynesian Phillips Curves for the G7
4. The name is absent
5. Internationalization of Universities as Internationalization of Bildung
6. Do the Largest Firms Grow the Fastest? The Case of U.S. Dairies
7. The name is absent
8. The name is absent
9. he Virtual Playground: an Educational Virtual Reality Environment for Evaluating Interactivity and Conceptual Learning
10. The name is absent