Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



18    1 Zum grammatischen Rahmen

Theorem 1-10. Eindeutige Lesbarkeit ohne Satze (a - Eindeutige Kategorie)

(i) KONST (PAR и VAR и FTERM и QUANTOR и AFORM и f l | Δ
FORM} и {r0 ψ Δ1)^, | Δ0, Δ1 FORM und ψ JUNK{ 1}} и QFORM) = 0,
(ii) PAR
(KONST и VAR и FTERM и QUANTOR и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, ΔiFORM und ψ JUNK{ 1}} и QFORM) = 0,
(iii) VAR
(KONST и PAR и FTERM и QUANTOR и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{ 1}} и QFORM) = 0,
(iv) FTERM
(KONST и PAR и VAR и QUANTOR и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} и QFORM) = 0,

(v) QUANTOR (KONST и PAR и VAR и FTERM и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} и QFORM) = 0,

(vi) AFORM (KONST и PAR и VAR и FTERM и QUANTOR и f l | Δ
FORM} и {r0 ψ Δ1)^, | Δ0, Δ1 FORM und ψ JUNK{ 1}} и QFORM) = 0,
(vii) iʌ
' | Δ FORM} (KONST и PAR и VAR и FTERM и QUANTOR и
AFORM и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} и QFORM) = 0,

(viii) { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} (KONST и PAR и VAR и

FTERM и QUANTOR и AFORM и {r-Δ^, | Δ FORM} и QFORM) = 0 und

(ix) QFORM (KONST и PAR и VAR и FTERM и QUANTOR и AFORM и {r-Δ^,
| Δ FORM} и { γo ψ Δ1)π | Δo, Δ1 FORM und ψ JUNK{   1}}) = 0.

Beweis: Sei μ KONST. Dann ist nach Postulat 1-1 μ PAR и VAR und nach
Definition 1-7 μ
FTERM. Ware μ QUANTOR и AFORM и {r-Δπ | Δ FORM}
и {r0 ψ Δι)~l | Δ0, Δ1 FORM und ψ JUNK{r-π}} и QFORM. Dann gabe es μ'
GAUS und μ* AUS, so dass μ = rμ'μ*^l. Das widerspricht Postulat 1-2-(ii). Also μ
QUANTOR
и AFORM и {r-Δπ | Δ FORM} и { γo ψ Δf | Δo, Δ1 FORM und ψ
JUNK{Γ-π}} и QFORM.

Fur μ PAR und μ VAR verlauft der Beweis analog.

Sei nun μ FTERM. Nach Definition 1-7 ist dann μ KONST и PAR и VAR und es
ist μ
TERM. Nach Definition 1-6 gibt es damit φ FUNK und μ+ AUS, so dass μ =
Γφμ+π. Ware μ QUANTOR и AFORM и {Γ-Δπ | Δ FORM} и {γo ψ Δf | Δo,
Δ
1 FORM und ψ JUNK{ Γ-π}} и QFORM. Dann gabe es μ' PRA и QUANT и
{'-', '('} und μ* AUS, so dass μ = Γμ'μ*^l. Dann musste nach Theorem 1-7-(iii) μ' = φ
sein und damit μ'
FUNK. Das widerspricht Postulat 1-1. Also μ QUANTOR и
AFORM и {Γ-Δπ | Δ FORM} и {γo ψ Δf | Δo, Δ1 FORM und ψ
JUNK{ γ-π }} и QFORM.

Fur μ QUANTOR, μ AFORM, μ {Γ-Δπ | Δ FORM}, μ {γo ψ Δf | Δo,
Δ
1 FORM und ψ JUNK{ Γ-T1}} und μ QFORM verlauft der Beweis analog. ■



More intriguing information

1. Solidaristic Wage Bargaining
2. The name is absent
3. Investment in Next Generation Networks and the Role of Regulation: A Real Option Approach
4. An Efficient Circulant MIMO Equalizer for CDMA Downlink: Algorithm and VLSI Architecture
5. The Institutional Determinants of Bilateral Trade Patterns
6. Economies of Size for Conventional Tillage and No-till Wheat Production
7. The name is absent
8. TWENTY-FIVE YEARS OF RESEARCH ON WOMEN FARMERS IN AFRICA: LESSONS AND IMPLICATIONS FOR AGRICULTURAL RESEARCH INSTITUTIONS; WITH AN ANNOTATED BIBLIOGRAPHY
9. Short report "About a rare cause of primary hyperparathyroidism"
10. A Rare Presentation of Crohn's Disease