Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



258   6 Korrektheit und Vollstandigkeit des Redehandlungskalkuls

BelegungsvariantenH von bX fur DX sind: DX, IX, b' ⅛ [β, ξ, Δ]. Nach Theorem 5-8H-(i)
gilt somit
DX, IX, bX =h rΛξΔ^l = Γ.

Siebtens: Sei Γ = rVξΔ^l. Dann gibt es mit Definition 6-2-(xiii) ein θ GTERMH, so
dass [θ, ξ, Δ]
X. Nach Theorem 1-13H ist dann FGRADH([θ, ξ, Δ]) < FGRADH(Γ) und
damit gilt nach I.V.
DX, IX, bX ⅛ [θ, ξ, Δ]. Sei nun β TTH(Δ). Sei nun b' = (bX{(β,
bX(β))} {(β, [θ]A)}. Dann ist b' in β eine BelegungsvarianteH von bX fur DX mit b'(β) =
[θ]
A. Sodann ist TDH(θ, DX, IX, bX) = [θ]A und somit b'(β) = TDH(θ, DX, IX, bX). Wegen DX,
IX, bX ⅛ [θ, ξ, Δ] folgt dann mit Theorem 5-9H-(ii): DX, IX, b` ⅛ [β, ξ, Δ]. Also gibt es
ein
b', das in β BelegungsvarianteH von bX fur DX ist, so dass DX, IX, b` =n [β, ξ, Δ]. Nach
Theorem 5-8
H-(ii) gilt somit DX, IX, bXrVξΔ^l = Γ.

Nun wird gezeigt: Wenn rΓ^l X, dann DX, IX, bX∣∣ Γ. Sei nun rΓ X. Nach
Annahme ist 0 < FGRAD
H(Γ). Damit konnen sieben Falle unterschieden werden. Erstens:
Sei Γ =
rB^l. Dann ist mit Definition 6-2-(ii) Β X und weil FGRADH(B) <
FGRAD
H(Γ) gilt nach I.V. DX, IX, bX =n B. Mit Theorem 5-4H-(ii) folgt DX, IX, bXn
rB^l = Γ. Zweitens: Sei Γ = rΑ B^l. Dann ist mit Definition 6-2-(iv) rΑ^lX oder
r-BπX und weil FGRADH(A) < FGRADH(Γ) und FGRADH(B) < FGRADH(Γ) gilt
nach I.V.
DX, IX, bXn A oder DX, IX, bXn B. Mit Theorem 5-4H-(iii) folgt DX, IX, bXn
rA B^l = Γ. Der dritte bis funfte Fall verlaufen analog.

Sechstens: Sei Γ = r-ΛξΔ^l. Dann gilt mit Definition 6-2-(xii): Es gibt ein θ
GTERMH, so dass [θ, ξ, Δ] X. Nach Theorem 1-13H gilt dann FGRADH([θ, ξ, Δ]) <
FGRAD
H(Γ). Damit gilt nach I.V.: DX, IX, bXn [θ, ξ, Δ]. Sei nun β TTH(Δ). Sei nun b'
in β die Belegungsvariante
H von bX fur DX mit b'(β) = [θ]A. Dann ist TDH(θ, DX, IX, bX) =
[θ]
A und somit b,(β) = TDH(θ, DX, IX, bX). Wegen DX, IX, bX[θ, ξ, Δ] folgt dann mit
Theorem 5-9
H-(ii): DX, IX, b' n [β, ξ, Δ]. Also gibt es ein bl, das in β BelegungsvarianteH
von bX fur DX ist, so dass DX, IX, b' ≠∣∣ [β, ξ, Δ]. Somit gilt mit Theorem 5-8H-(i) DX, IX, bX
^H " - \ .

Siebtens: Sei Γ = r-VξΔ^l. Dann gilt mit Definition 6-2-(xiv) fur alle θ GTERMH
r—[θ, ξ, Δ]^l X. Da fur alle θ GTERMH nach Theorem 1-13H FGRADH([θ, ξ, Δ]) <
FGRAD
H(Γ), gilt damit nach I.V. fur alle θ GTERMH: DX, IX, bX[θ, ξ, Δ]. Sei nun β



More intriguing information

1. TRADE NEGOTIATIONS AND THE FUTURE OF AMERICAN AGRICULTURE
2. How does an infant acquire the ability of joint attention?: A Constructive Approach
3. Top-Down Mass Analysis of Protein Tyrosine Nitration: Comparison of Electron Capture Dissociation with “Slow-Heating” Tandem Mass Spectrometry Methods
4. Monopolistic Pricing in the Banking Industry: a Dynamic Model
5. Private tutoring at transition points in the English education system: its nature, extent and purpose
6. The Role of Land Retirement Programs for Management of Water Resources
7. The Dynamic Cost of the Draft
8. The name is absent
9. NEW DEVELOPMENTS IN FARM PRICE AND INCOME POLICY PROGRAMS: PART I. SITUATION AND PROBLEM
10. Centre for Longitudinal Studies
11. Impact of Ethanol Production on U.S. and Regional Gasoline Prices and On the Profitability of U.S. Oil Refinery Industry
12. Financial Development and Sectoral Output Growth in 19th Century Germany
13. Gender stereotyping and wage discrimination among Italian graduates
14. Monetary Discretion, Pricing Complementarity and Dynamic Multiple Equilibria
15. A Study of Prospective Ophthalmology Residents’ Career Perceptions
16. PEER-REVIEWED FINAL EDITED VERSION OF ARTICLE PRIOR TO PUBLICATION
17. Portuguese Women in Science and Technology (S&T): Some Gender Features Behind MSc. and PhD. Achievement
18. GROWTH, UNEMPLOYMENT AND THE WAGE SETTING PROCESS.
19. The name is absent
20. Existentialism: a Philosophy of Hope or Despair?