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. The name is absent
2. The technological mediation of mathematics and its learning
3. The Composition of Government Spending and the Real Exchange Rate
4. The Social Context as a Determinant of Teacher Motivational Strategies in Physical Education
5. The name is absent
6. PRIORITIES IN THE CHANGING WORLD OF AGRICULTURE
7. The voluntary welfare associations in Germany: An overview
8. The Impact of Hosting a Major Sport Event on the South African Economy
9. The name is absent
10. The name is absent