Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



5.1 Erfullungsrelation und modelltheoretische Konsequenz 227

Definition 5-9. Vierstellige modelltheoretische Erfullung fur Mengen

D, I, b '■ X

gdw

(D, I) ist ein Modell, b ist eine Belegung fur D, X GFORM und fur alle Δ X gilt: D, I,
b к Δ.

Definition 5-10. Modelltheoretische Konsequenz

X к Γ
gdw

X{Γ} GFORM und fur alle D, I, b gilt: Wenn D, I, b Mk X, dann D, I, b к Γ.

Definition 5-11. Allgemeingultigkeit

к Γ gdw 0 к Γ.

Definition 5-12. Erfullbarkeit

Γ ist erfullbar

gdw

Γ GFORM und es gibt D, I, b, so dass D, I, b к Γ.

In Definition 5-8 bis Definition 5-12 wurden einige der ublichen modelltheoretischen
Begrifflichkeiten eingefuhrt. Mit der nachsten Definition wird nun noch ein dreistelliger
Erfullungsbegriff fur Aussagen, der insbesondere fur den Umgang mit parameterfreien
Aussagen interessant ist, etabliert. Sodann werden zu den in
Definition 5-10 bis
Definition 5-13 fur geschlossene Formeln eingefuhrten Begriffen analoge Begriffe fur
Aussagenmengen etabliert, wie dies bereits mit
Definition 5-9 fur den in Definition 5-8
fur geschlossene Formeln etablierten Erfullungsbegriff geschehen ist.

Definition 5-13. Dreistellige modelltheoretische Erfullung

D, I к Γ

gdw

(D, I) ist ein Modell und fur alle b, die Belegungen fur D sind, gilt: D, I, b к Γ.



More intriguing information

1. Dual Track Reforms: With and Without Losers
2. The name is absent
3. Ronald Patterson, Violinist; Brooks Smith, Pianist
4. AN EXPLORATION OF THE NEED FOR AND COST OF SELECTED TRADE FACILITATION MEASURES IN ASIA AND THE PACIFIC IN THE CONTEXT OF THE WTO NEGOTIATIONS
5. An Attempt to 2
6. Estimation of marginal abatement costs for undesirable outputs in India's power generation sector: An output distance function approach.
7. The Role of Land Retirement Programs for Management of Water Resources
8. The name is absent
9. Measuring and Testing Advertising-Induced Rotation in the Demand Curve
10. The name is absent