Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



222   5 Modelltheorie

gdw

D, I', b' = [θ', ξ, rAπ]

gdw

D, I', b' = [θ', ξ, Δ].

Zweitens: Sei Δ = rA Bπ. Also FGRAD(A) < FGRAD(Δ) und FGRAD(B) <
FGRAD(Δ). Dann ist nach Annahme fur Δ auch FV(A)
FV(B) {ξ}, I((TA(A)
TA(B)) = I'((TA(A) TA(B)) und b((TT(A) TT(B)) = b'((TT(A) TT(B)). Mit I.V.
und Theorem 5-4-(iii) gilt dann:

D, I, b = [θ, ξ, Δ]

gdw

D, I, b = [θ, ξ, γa

D, I, b = r[θ, ξ, A] [θ, ξ, BΓ

D, I, b = [θ, ξ, A] und D, I, b = [θ, ξ, B]
gdw

D, I', b' = [θ`, ξ, A] und D, I', b' = [θ', ξ, B]

D, I', b' = r[θ', ξ, A] [θ', ξ, BΓ

gdw

D, I,, b' = [θ', ξ, γa
gdw

D, I', b' = [θ', ξ, Δ].

Der dritte bis funfte Fall verlaufen analog.

Sechstens: Sei Δ = rΛζA^l. Nach der Annahme fur Δ ist dann FV(A) {ξ, ζ}, I (TA(A)
=
I l(TA(A) und b (TT(A) = b l(TT(A). Angenommen ζ = ξ. Dann ist [θ, ξ, Δ] = [θ, ζ,
rΛζA^l ] = rΛζA^l = [θ', ζ, rΛζA^l ] = [θ', ξ, Δ] und somit [θ, ξ, Δ] = Δ = [θ', ξ, Δ]. Sodann
gilt FV(Δ) =
0 und somit Δ GFORM. Da nach Annahme I(TA(Δ) = Il(TA(Δ) und
b (TT(Δ) = b l(TT(Δ) gilt damit mit Theorem 5-5-(ii): D, I, b = [θ, ξ, Δ] gdw D, I, b = Δ
gdw
D, I,, b' = Δ gdw D, I,, b' = [θ', ξ, Δ]. Sei nun ζ ≠ ξ. Dann ist [θ, ξ, Δ] = rΛζ[θ, ξ,
A]
π und [θ', ξ, Δ] = rΛζ[θ,, ξ, A]π. Sodann gilt mit ζ ≠ ξ und ζ, ξ TT(θ*) fur alle θ#
GTERM nach Theorem 1-25-(ii) fur alle β+ PAR: [β+, ζ, [θ, ξ, A]] = [θ, ξ, [β+, ζ, A]]
und [β+, ζ, [θ', ξ, A]] = [θ', ξ, [β+, ζ, A]].



More intriguing information

1. Discourse Patterns in First Language Use at Hcme and Second Language Learning at School: an Ethnographic Approach
2. The migration of unskilled youth: Is there any wage gain?
3. Partner Selection Criteria in Strategic Alliances When to Ally with Weak Partners
4. How does an infant acquire the ability of joint attention?: A Constructive Approach
5. Does Competition Increase Economic Efficiency in Swedish County Councils?
6. The name is absent
7. MICROWORLDS BASED ON LINEAR EQUATION SYSTEMS: A NEW APPROACH TO COMPLEX PROBLEM SOLVING AND EXPERIMENTAL RESULTS
8. Foreign direct investment in the Indian telecommunications sector
9. The name is absent
10. NEW DEVELOPMENTS IN FARM PRICE AND INCOME POLICY PROGRAMS: PART I. SITUATION AND PROBLEM