Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



6.1 Korrektheit des Redehandlungskalkuls 241

K(AtDom(A)-1). Mit Theorem 5-15 folgt VAN(A)\{A(Amax(Dom(VANS(AiDom(A)-1))))} I=
rA(‰χ(Dom(VΛNS(Dom()-i)))) K(AiDom(A)-1)π. Theorem 5-13 fuhrt zu VAN(A) =
r
A‰aχ(Dom(VΛNS(Dom(fl)-i)))) K(AiDom(A)-1)π und damit zu VAN(A) = K(A).

(NEF): Sei A ∈ NEF(AiDom(A)-1). Nach Theorem 3-20-(x) gilt dann K(A) =
r-A(^max(Dom(VANS(Dom()-1))))π. Mit Theorem 3-20-(i) und Theorem 2-92, gibt es sodann
Γ
GFORM und j Dom(A)-1, so dass max(Dom(VANS(AiDom(A)-1))) ≤ j und (j,
Aj) VERS(Ai Dom(A)-1) und entweder A(Aj) = Γ und A(ADom(A)-2) = rΓ oder A(Aj)
=
rΓ und A(Dom()-2) = Γ.

Damit ist entweder Γ = K(Aij+1) und rΓ = K(AiDom(A)-1) oder rΓ = K(Aij+1)
und Γ = K(
AiDom(A)-1). Sei nun zunachst Γ = K(Aij+1) und rΓ = K(AiDom(A)-1).
Dann gilt VAN(
Aij+1) = Γ und VAN(AiDom(A)-1) = rΓπ. AuBerdem ist Γ in
AiDom(A)-1 bei j verfugbar und daher nach Theorem 3-29-(iv) VAN(Aij+1)
VAN(AiDom(A)-1) und mit Theorem 5-13 dann VAN(AiDom(A)-1) = Γ. Sei nun rΓ
= K(
Aij+1) und Γ = K(AiDom(A)-1). Dann gilt VAN(Aij+1) = rΓ und
VAN(
AiDom(A)-1) = Γ. Sodann ist dann rΓ in AiDom(A)-1 bei j verfugbar und da-
her mit Theorem 3-29-(iv) wiederum VAN(
Aij+1) VAN(AiDom(A)-1) und mit
Theorem 5-13 dann VAN(
AiDom(A)-1) = rΓπ. In beiden Fallen gilt also
VAN(
AiDom(A)-1) = Γ und VAN(AiDom(A)-1) = rΓπ. Mit Theorem 3-20-(ix) gilt
VAN(
AiDom(A)-1) = VAN(A) и {A(Amax(Dom(VANS(AiDom(A)-1))))} und damit auch
VAN(
A) U {A(Amax(Dom(VANS(AiDom(A)-1))))} = γ und VAN(A)
{A(Amax(Dom(VANS(Dom()-1))))} = rΓ. Mit Theorem 5-25 (wobei sowohl X als auch Y
durch VAN(A) U {A(Amax(Dom(VANS(AiDom(A)-1))))} instanziiert werden) und Theorem 5-13
folgt VAN(
A) = rA(Amax(Dom(VANS(ADom(A)-1))))^l und damit dass VAN(A) = K(A). Fur
rΓ = K(Aij+1) und Γ = K(Dom(A)-1) verlauft der Fall analog.

(PBF): Sei A ∈ PBF(Dom(A)-1). Nach Theorem 3-21-(x) gilt dann K(A) =
K(
Dom(A)-1). Mit Theorem 3-21-(i) und Theorem 2-93 gibt es sodann β PAR, ξ
VAR, Δ FORM mit FV(Δ) {ξ} und Γ GFORM, so dass
A(Amax(Dom(VANS(AiDom(A)-1)))-1) = rVξΔπ und (max(Dom(VANS(AiDom(A)-1)))-1,
Amax(Dom(VANS(AiDom(A )-1)))-1) VERS(AiDom(A)-1) und A(Amax(Dom(VANS(AiDom(A)-1)))) = [β,
ξ, Δ] und β
TTFM({Δ, K(A)}) und es kein j ≤ max(Dom(VANS(AiDom(A)-1)))-1
gibt, so dass β
TT(Aj). Sodann gilt VAN(AiDom(A)-1) = K(AiDom(A)-1) = K(A).
Mit Theorem 3-21-(ix) gilt sodann VAN(
AiDom(A)-1) = VAN(A) и



More intriguing information

1. Financial Markets and International Risk Sharing
2. Cultural Neuroeconomics of Intertemporal Choice
3. MANAGEMENT PRACTICES ON VIRGINIA DAIRY FARMS
4. Initial Public Offerings and Venture Capital in Germany
5. The name is absent
6. On the Desirability of Taxing Charitable Contributions
7. The Shepherd Sinfonia
8. APPLYING BIOSOLIDS: ISSUES FOR VIRGINIA AGRICULTURE
9. The name is absent
10. The name is absent