Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



220   5 Modelltheorie

= {θ+}, IΓTA(θ+) = ITA(θ+) und Theorem 5-2-(i): TD([θ, ξ, θ+], D, I, b) = TD(θ+, D, I,
b) = I+) = I'(θ+) = TD(θ+, D, I', b') = TD([θ', ξ, θ+], D, I', b'). Sei nun θ+ PAR. Dann
ist [θ, ξ, θ
+] = θ+ = [θ', ξ, θ+] und damit gilt mit TT(θ+) = {θ+}, bΓTT(θ+) = bTT(θ+) und
mit Theorem 5-2-(ii): TD([θ, ξ, θ
+], D, I, b) = TD(θ+, D, I, b) = b+) = b'(θ+) = TD(θ+,
D, I', b') = TD([θ', ξ, θ+], D, I', b'). Sei nun θ+ VAR. Dann ist θ+ = ξ. Dann ist [θ, ξ, θ+]
= θ und [θ', ξ, θ
+] = θ'. Damit ist dann nach Annahme TD([θ, ξ, θ+], D, I, b) = TD(θ, D,
I, b) = TD(θ', D, I', b') = TD([θ', ξ, θ+], D, I', b').

Gelte die Behauptung nun fur θ+0, ., θ+r-1 TERM und sei φ FUNK, wobei φ r-
stellig, und sei θ
+ = rφ(θ+o, ., θ+r4)πFTERM, wobei FV(rφ(θ+o, ., θVι)π) {ξ},
IΓTA(rφ(θ+o, ., θ+r)π) = I,ΓTA(rφ(θ+o, ., θ+r)π) und bΓTT(rφ(θ+o, ., θ+r)π) =
bTTΓ(rφ(θ+o, ., θ+r)π). Dann gilt mit FV(rφ(θ+o, ., θ+r)π) = {FV(θ+i) | ir},
{TA(θ+i) | i r} TA(rφ(θ+o, ., θ+r)π) und {TT(θ+i) | i r} TΓ(rφ(θ+o, .,
θ
+r)π) fur alle i r ebenfalls: FV(θ+i) {ξ}, I ΓTA(θ+i) = ITA(θ+i) und b ΓTT(θ+i) =
bTT(θ+i). Mit I.V. gilt somit fur alle i r: TD([θ, ξ, θ+i], D, I, b) = TD([θ', ξ, θ+i], D, I',
b'). Sodann gilt mit φ TA(rφ(θ+0, ., θ+r-1)^l) FUNK nach Annahme auch I(φ) =
I'(φ). Damit gilt mit Theorem 5-2-(iii) insgesamt:

TD([θ, ξ, rφ(θ+Q, ., θ+r.ιΓ], D, I, b)

TD(rφ([θ, ξ, θ+o], ., [θ, ξ, θ+r])^1, D, I, b)

I(φ)(<TD([θ, ξ, θ+o], D, I, b), ., TD([θ, ξ, θ+r], D, I, b)>)

I'(φ)(<TD([θ', ξ, θ+o], D, I', b'), ., TD([θ', ξ, θ+r], D, I, b')>)

TD(rφ([θl, ξ, θ+Q], ., [θ', ξ, θ+r]Γ, D, I', b')

TD([θ', ξ, rφ(θ+Q, ., θ+r.ιΓ], D, I', b').

Zu (ii): Der Beweis wird durch Induktion uber den Formelgrad gefuhrt. Gelte dazu das
Theorem fur alle Α
FORM mit FGRAD(Α) < k. Seien nun (D, I), (D, I') Modelle, b,
b' Belegungen fur D, ξ VAR, θ, θ' GTERM und TD(θ, D, I, b) = TD(θ', D, I', b')
und sei Δ
FORM, wobei FV(Δ) {ξ}, I ΓTA(Δ) = I ,ΓTA(Δ) und b ΓTT(Δ) = b ,ΓTT(Δ),
und sei FGRAD(Δ) =
k. Sei FGRAD(Δ) = Q, also Δ AFORM. Dann gibt es θ+Q, ., θ+r-1



More intriguing information

1. A Rare Presentation of Crohn's Disease
2. DEVELOPING COLLABORATION IN RURAL POLICY: LESSONS FROM A STATE RURAL DEVELOPMENT COUNCIL
3. Long-Term Capital Movements
4. Electricity output in Spain: Economic analysis of the activity after liberalization
5. A Location Game On Disjoint Circles
6. The name is absent
7. Dual Track Reforms: With and Without Losers
8. sycnoιogιcaι spaces
9. Public Debt Management in Brazil
10. STIMULATING COOPERATION AMONG FARMERS IN A POST-SOCIALIST ECONOMY: LESSONS FROM A PUBLIC-PRIVATE MARKETING PARTNERSHIP IN POLAND