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. Qualification-Mismatch and Long-Term Unemployment in a Growth-Matching Model
2. Restricted Export Flexibility and Risk Management with Options and Futures
3. Commitment devices, opportunity windows, and institution building in Central Asia
4. Benchmarking Regional Innovation: A Comparison of Bavaria, Northern Ireland and the Republic of Ireland
5. Dual Inflation Under the Currency Board: The Challenges of Bulgarian EU Accession
6. Developmental Robots - A New Paradigm
7. Can a Robot Hear Music? Can a Robot Dance? Can a Robot Tell What it Knows or Intends to Do? Can it Feel Pride or Shame in Company?
8. Improvement of Access to Data Sets from the Official Statistics
9. Three Policies to Improve Productivity Growth in Canada
10. An Incentive System for Salmonella Control in the Pork Supply Chain