Theoremverzeichnis 275
Theorem 2-83. Zusammenhang von Nichtverfugbarkeit und der Entstehung eines geschlossenen Abschnitts
beim Ubergang von QfDom(Q)-1 auf Q............................................................................................109
Theorem 2-84. VERS-Verringerung beim Ubergang von QfDom(Q)-1 zu Q dann und nur dann, wenn dabei
ein neuer geschlossener Abschnitt erzeugt wird ................................................................................ 112
Theorem 2-85. VANS-Verringerung beim Ubergang von QfDom(Q)-I zu Q dann und nur dann, wenn dabei
ein neuer geschlossener Abschnitt erzeugt wird, dessen erstes Glied gerade der nun unverfugbare
Annahmesatz und das maximale Glied in VANS(QfDom(Q)-I) ist.....................................................113
Theorem 2-86. Ist das letzte Glied eines geschlossenen Abschnitts Ъ in Q mit dem Ietzten Glied von Q
identisch, dann ist das erste Glied von Ъ das maximale Glied von VANS(QfDom(Q)-I) und in Q nicht
mehr verfugbar .................................................................................................................................. 114
Theorem 2-87. Beim Ubergang von QfDom(Q)-I zu Q verringert sich die Anzahl der verfugbaren
Annahmesatze maximal um eins.......................................................................................................115
Theorem 2-88. Beim Ubergang von Qf Dom(Q)-1 zu Q impliziert echte VAN-Inklusion echte VANS-Inklusion
........................................................................................................................................................... 115
Theorem 2-89. Vorbereitungstheorem (a) fur Theorem 2-91, Theorem 2-92 und Theorem 2-93............... 115
Theorem 2-90. Vorbereitungstheorem (b) fur Theorem 2-91, Theorem 2-92 und Theorem 2-93............... 116
Theorem 2-91. SE-Schlieβt!-Theorem.........................................................................................................116
Theorem 2-92. NE-Schlieβt!-Theorem.........................................................................................................117
Theorem 2-93. PB-Schlieβt!-Theorem.........................................................................................................117
Theorem 3-1. RGF-Fortsetzungen von Sequenzen sind nicht-leere Sequenzen ........................................... 131
Theorem 3-2. RGF ist fur keine Sequenz leer ............................................................................................... 132
Theorem 3-3. Die Elemente von RGF(Q) sind Fortsetzungen von Q um genau einen Satz.........................132
Theorem 3-4. RGF-Fortsetzungen von Sequenzen sind genau um eins machtiger als die Ausgangssequenz
........................................................................................................................................................... 132
Theorem 3-5. Eindeutige RGF-Vorganger ................................................................................................... 133
Theorem 3-6. Eine Sequenz Q ist genau dann in RGS, wenn sie leer oder eine regelgemaβe Fortsetzung von
QfDom(Q)-1 undQfDom(Q)-1 ein RGS-Elementist..........................................................................133
Theorem 3-7. Die regelgemaβe Fortsetzung eines RGS-Elements fuhrt zu einem nicht-leeren RGS-Element
........................................................................................................................................................... 134
Theorem 3-8. Q ist genau dann ein nicht-leeres RGS-Element, wenn Q eine nicht-leere Sequenz ist und alle
nicht-leeren Anfangsabschnitte von Q nicht-leere RGS-Elemente sind..............................................134
Theorem 3-9. Eigenschaften von Ableitungen ............................................................................................ 135
Theorem 3-10. In nicht-leeren RGS-Elementen, sind alle nicht-leeren Anfangsabschnitte -Ableitungen ihrer
Konklusion .......................................................................................................................................... 135
Theorem 3-11. Eindeutigkeitssatz fur den Redehandlungskalkul ............................................................... 136
More intriguing information
1. The name is absent2. The name is absent
3. Knowledge, Innovation and Agglomeration - regionalized multiple indicators and evidence from Brazil
4. Fiscal Insurance and Debt Management in OECD Economies
5. The name is absent
6. Enterpreneurship and problems of specialists training in Ukraine
7. An Economic Analysis of Fresh Fruit and Vegetable Consumption: Implications for Overweight and Obesity among Higher- and Lower-Income Consumers
8. Review of “The Hesitant Hand: Taming Self-Interest in the History of Economic Ideas”
9. The name is absent
10. On the Integration of Digital Technologies into Mathematics Classrooms