Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



1 Zum grammatischen Rahmen

Theorem 1-4. Zur Identitat von Ausdrucksverkettungen (a)

Wenn k N{0} und fur alle i k: μi AUS und μi = rμμ*oμ,AusL(μ,)-1π, wobei {μμ*o, .,
μμ
*AusL(μ,)-ι} GAUS, dann:

(i)      'μ.

rμμ00 . μμ0AUSL(μo)-1 . μμk-10 . μμk-1AUSL(μk-i)-1l,

(ii)   AUSL( rμo. μk) = kk O AUSl.(μ ) und

(iii) Wenn m N{0} und {μ'0, ., μ'm-1} GAUS, dann:

rμμ00 . μμ0AUSL(μ0)-l . μμk-10 . μμk-1AUSL(μk-i)-1

γii' 11' ^i
μ
0. μ m-1
gdw

m = kk~i1o AUSL(μj∙) und fur alle s m: μ's = μμ0s, falls s < AUSL(μ0), und

μ's = μμlr fur die eindeutig bestimmten l, r, fur die 0 < l k und r < AUSL(μl) und s =
(
n 1 o AUSL(μn))+r, falls AUSL(μ0) ≤ s.

Beweis: Sei k ∈ N∖{0}, fur alle ik: μi AUS und μi = rμμ*0. ц^ашц^Г, wobei {μμi0,
., μμ
'AUsL(μ,)-l} GAUS. Zu (i): Durch Induktion uber i wird zunachst gezeigt, dass fur
alle
i k gilt:

rιι M ^l
μ
0.μk-1

rμμ00 . μμ0AUSL(μ0)-l . μμi0 . μμiAUSL(μi)-1 μi+1 ■■■ μk-1l .

Damit gilt dies dann auch fur i = k-1 und damit gilt dann (i). Gelte die Behauptung nun
fur alle
l i. Sei nun i k. Dann ist i = 0 oder 0 < i. Sei nun i = 0. Wegen μ0 =
rμμ00. μμoAUsL(μo)-1π ist dann nach Postulat 1-3:

> .μ

rμμ00. μμ0AUSL(μ0)-1 μι. μk.

Sei nun 0 < i. Dann gilt fur alle l i, dass l k und damit nach I.V.:

> .μ

rμμ00 . μμ0AUSL(μ0)-1 . μμl0 . μμlAUSL(μι)-1 μi+1 . . gk-l^ .

Da nun i-1 < i, gilt damit:

rμ0k-1



More intriguing information

1. A Multimodal Framework for Computer Mediated Learning: The Reshaping of Curriculum Knowledge and Learning
2. Nonlinear Production, Abatement, Pollution and Materials Balance Reconsidered
3. A Study of Prospective Ophthalmology Residents’ Career Perceptions
4. Automatic Dream Sentiment Analysis
5. Sector Switching: An Unexplored Dimension of Firm Dynamics in Developing Countries
6. A parametric approach to the estimation of cointegration vectors in panel data
7. The effect of globalisation on industrial districts in Italy: evidence from the footwear sector
8. The name is absent
9. Fortschritte bei der Exportorientierung von Dienstleistungsunternehmen
10. Public-Private Partnerships in Urban Development in the United States