104 2 Verfugbarkeit von Aussagen
Definition 2-26. Verfugbarkeit einer Aussage in einer Sequenz an einer Stelle
Γ ist in ʃɔ bei i verfugbar
gdw
Γ ∈ GFORM und ʃɔ ∈ SEQ und
(i) i ∈ Dom(⅛),
(ii) Γ = A(⅛) und
(iii) Es gibt keinen geschlossenen Abschnitt 21. in ⅛ so dass min(Dom(^)) ≤ i <
max(Dom(2l)).
Definition 2-27. Verfugbarkeit einer Aussage in einer Sequenz
Γ ist in ʃɔ verfugbar
gdw
Es gibt ein i ∈ Dom(⅛), so dass Γ in ʃɔ bei i verfugbar ist.
Hinweis: Wenn der Bezug auf die Sequenz klar ist, werden auch kurz die Wendungen 'Γ
ist bei i verfugbar' oder 'Γ ist verfugbar' gebraucht.
Definition 2-28. Zuordnung der Menge der verfugbaren Satze (VERS)
VERS = {(⅛, X) | ⅛ ∈ SEQ und X = {(i, ⅛i) | i ∈ Dom(⅛) und
A(⅛) ist in ⅛ bei i verfugbar}}.
Definition 2-29. Zuordnung der Menge der verfugbaren Annahmesatze (VANS)
VANS = {(Д X) | ^ ∈ SEQ und X = VERS(⅛) ∩ ANS(^)}.
Hinweis: Tatsachlich sind die Titel 'Zuordnung der Menge der ... Satze' insofern irrefuh-
rend, als dass VERS und VANS Sequenzen keine Mengen von Satzen zuordnen sondern
Teilmengen dieser Sequenzen, also Mengen von geordneten Paaren, deren zweite Projek-
tionen dann die entsprechenden Satze sind.
Theorem 2-70. Verhaltnis von VANS, VERS und jeweiliger Sequenz
Wenn ʃɔ ∈ SEQ, dann:
(i) VANS(⅛) = VERS(⅛) ∩ ANS(⅛) und
(ii) VANS(A) ⊆ VERS(A) ⊆ A.
Beweis: Ergibt sich direkt aus den Definitionen. ■
More intriguing information
1. Trade Liberalization, Firm Performance and Labour Market Outcomes in the Developing World: What Can We Learn from Micro-LevelData?2. An Economic Analysis of Fresh Fruit and Vegetable Consumption: Implications for Overweight and Obesity among Higher- and Lower-Income Consumers
3. The name is absent
4. CONSUMER ACCEPTANCE OF GENETICALLY MODIFIED FOODS
5. The name is absent
6. The name is absent
7. The Structure Performance Hypothesis and The Efficient Structure Performance Hypothesis-Revisited: The Case of Agribusiness Commodity and Food Products Truck Carriers in the South
8. The Impact of Hosting a Major Sport Event on the South African Economy
9. Regulation of the Electricity Industry in Bolivia: Its Impact on Access to the Poor, Prices and Quality
10. The name is absent