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. The name is absent
2. AGRICULTURAL PRODUCERS' WILLINGNESS TO PAY FOR REAL-TIME MESOSCALE WEATHER INFORMATION
3. The name is absent
4. The name is absent
5. A production model and maintenance planning model for the process industry
6. O funcionalismo de Sellars: uma pesquisa histδrica
7. The name is absent
8. The name is absent
9. The name is absent
10. The storage and use of newborn babies’ blood spot cards: a public consultation