Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



1.1 Inventar und Syntax

rμμoo∙ ∙ ∙ μμ0AusL(μo)-ι... μμ,'1o...μμ,-1AusL(μM)-ιμi∙∙∙μk-1.

Wegen μi = rμμ*o. p^A.-u^^o-ii gilt dann mit Postulat 1-3:

rμμ0o. μμ0AusL(μ0)-ι ∙ μμ''1o∙.. μμ'-1AusL(μi-1)-ιμi∙ ∙ ∙ μk-1

rμμ0o ∙ μμ0AusL(μ0)-ι ∙ μμ'-1o ∙ ∙ ∙ μμ*-1AusL(μi-1)-ι μμ*o ∙ ∙ ∙ μμ,AusL(μi)-ι μ*∙ ∙ ∙ μk-1

rμμ0o... μμoAusL(μo)-ι■■■ μμio■■■ μμ,AusL(μi)-ιμ⅛ι■■■ μk-1 .

Damit gilt dann insgesamt:

'μ ...μ

rμμoo... μμoAusL(μo)-ι■■■ μμio■■■ μμ,AusL(μ,)-ιμ⅛ι■■■ μk.

Zu (ii) und (iii): Nach Postulat 1-3 gibt es m* N\{o} und {μ*o, ∙, μ*m*-1} GAus,
so dass
rμo...μ-Γ = rμ*o...μ*m*-Γ und m* = kk=10 AuSL(μj∙) und fur alle s < m*: μ*s =
μμ
os, falls s < AuSL(μo), und μ*s = μμlr fur die eindeutig bestimmten l, r, fur die o < l < k,
r < AuSL(μl) und s = (∑n = 0 AuSL(μn))+r, falls AuSL(μo) ≤ s. Dann gilt zunachst
k 10 AuSL(μj) = m* = AuSL(rμ%...μ*m*-Γ) = AuSL(rμo...μfc). Damit gilt (ii). Sei
nun fur (iii) m
N\{o} und {μ'o, ., μ'm-1} GAuS. (L-R): Sei
rμμooμoAuSL(μo)-ιμk-1o∙μμk-1AuSL(μk)-ιπ = rμo...μ'm-Γ. Mit (i) gilt dann rμ'o...μ'm=
rμo. μk-1 = rμ*o. μ*m*-1. Mit Postulat 1-2-(i) gilt dann m = m* = k 10 AuSL(μj∙) und
fur alle s < m gilt μ,
s = μ*s. Damit gilt dann fur alle s < m: μ,s = μμos, falls s < AuSL(μo),
und μ,
s = μμlr fur die eindeutig bestimmten l, r, fur die o < l < k, r < AuSL(μl) und s =
(
n 1 0 AuSL(μn))+r, falls AuSL(μo) ≤ s.

(R-L): Sei m = kZ10 AuSL(μj∙) und gelte fur alle s < m: μ's = μμos, falls s < AuSL(μo),
und μ,
s = μμlr fur die eindeutig bestimmten l, r, fur die o < l < k, r < AuSL(μl) und s =
(
n^= 0 AuSL(μn))+r, falls AuSL(μo) ≤ s. Dann gilt m* = m und fur alle s < m gilt μ's =
μ*
s. Damit gilt dann mit Postulat 1-2-(i), dass rμ'o. μ'm-1 = rμ*o. μ*m*-1π. Damit gilt mit
(i):
rμμooμoAuSL(μo)-1μk-1o∙μμk-1AuSL(μk-1)-1π = rμo∙∙.μ⅛-Γ = rμ*o∙ ∙ ∙ μ*m*-Γ =
rμ'o. μ'm-1. ■



More intriguing information

1. WP 48 - Population ageing in the Netherlands: Demographic and financial arguments for a balanced approach
2. Multifunctionality of Agriculture: An Inquiry Into the Complementarity Between Landscape Preservation and Food Security
3. The name is absent
4. The voluntary welfare associations in Germany: An overview
5. The name is absent
6. The name is absent
7. The name is absent
8. From Aurora Borealis to Carpathians. Searching the Road to Regional and Rural Development
9. Distortions in a multi-level co-financing system: the case of the agri-environmental programme of Saxony-Anhalt
10. The name is absent