Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



22    1 Zum grammatischen Rahmen

freien Variablen eines Terms oder einer Formel und auf dieser Basis in Definition 1-16
die Satze bestimmt werden.

Definition 1-13. Zuordnung der Menge der Variablen, die in einem Term θ oder einer Formel
Γ frei vorkommen (FV)

FV ist eine Funktion auf TERM FORM und

(i) Wenn α KONST, dann FV(α) = 0,

(ii) Wenn β PAR, dann FV(β) = 0,

(iii) Wenn ξ VAR, dann FV(ξ) = {ξ},

(iv) Wenn rφ(θ0, .., θn-)π FTERM, dann

FV(rφ(θo, . ., θn)ɔ) = U{FV(θ.,) | in},

(v) Wenn rΦ(θ0, ., θn-)π AFORM, dann

FV(rΦ(θo, ., θn)ɔ) = U{FV(θi) | i n},

(vi) Wenn rΔ"1 JFORM, dann FV(r- Δπ) = FV(Δ),

(vii) Wenn r0 ψ Δ1)^l JFORM, dann FV(r0 ψ Δ1)^l) = FV(Δ0) FV(Δ1),
und

(viii) Wenn rΠξΔπ QFORM und, dann FV( rΠξΔπ) = FV(Δ){ξ}.

Definition 1-14. Die Menge der geschlossenen Terme (GTERM)

GTERM = {θ | θ TERM und FV(θ) = 0}.

Hinweis: Man beachte, dass Parameter nach Definition -4 geschlossene Terme sind.

Definition 1-15. Die Menge der geschlossenen Formeln (GFORM)

GFORM = {Δ | Δ FORM und FV(Δ) = 0}.

Geschlossene Formeln werden auch als Aussagen angesprochen. Man beachte, dass ge-
schlossene Formeln durchaus Parameter zum Teilausdruck (siehe Definition
-20) haben
konnen.

Definition 1-16. Die Menge der Satze (SATZ; Metavariablen: Σ, Σ', Σ*, .)
SATZ = {rΞΓ, | Ξ PERF und Γ GFORM}.

Definition 1-17. Annahme- und Folgerungssatze (ASATZ und FSATZ)

(i) ASATZ = {rSei Γ | Γ GFORM},

(ii) FSATZ = {rAlso Γ1 | Γ GFORM}.



More intriguing information

1. Palvelujen vienti ja kansainvälistyminen
2. The name is absent
3. Modelling the health related benefits of environmental policies - a CGE analysis for the eu countries with gem-e3
4. The name is absent
5. Financial Development and Sectoral Output Growth in 19th Century Germany
6. Who’s afraid of critical race theory in education? a reply to Mike Cole’s ‘The color-line and the class struggle’
7. The name is absent
8. The Shepherd Sinfonia
9. 03-01 "Read My Lips: More New Tax Cuts - The Distributional Impacts of Repealing Dividend Taxation"
10. SME'S SUPPORT AND REGIONAL POLICY IN EU - THE NORTE-LITORAL PORTUGUESE EXPERIENCE