Definitionsverzeichnis 269
Definition 3-4. KonjunktoreinfOhrungsfunktion (KEF).................................................................................128
Definition 3-5. Konjunktorbeseitigungsfunktion (KBF)................................................................................128
Definition 3-6. BisubjunktoreinfOhrungsfunktion (BEF) .............................................................................. 128
Definition 3-7. Bisubjunktorbeseitigungsfunktion (BBF) ............................................................................. 128
Definition 3-8. AdjunktoreinfOhrungsfunktion (AEF) .................................................................................. 129
Definition 3-9. Adjunktorbeseitigungsfunktion (ABF) ................................................................................. 129
Definition 3-10. NegatoreinfOhrungsfunktion (NEF) ................................................................................... 129
Definition 3-11. Negatorbeseitigungsfunktion (NBF) ................................................................................. 129
Definition 3-12. UniversalquantoreinfOhrungsfunktion (UEF) .................................................................... 129
Definition 3-13. Universalquantorbeseitigungsfunktion (UBF) ................................................................... 130
Definition 3-14. PartikularquantoreinfOhrungsfunktion (PEF) .................................................................... 130
Definition 3-15. Partikularquantorbeseitigungsfunktion (PBF)................................................................... 130
Definition 3-16. Identitatseinfuhrungsfunktion (IEF)..................................................................................130
Definition 3-17. Identitatsbeseitigungsfunktion (IBF).................................................................................131
Definition 3-18. Zuordnung der Menge der regelgemaβen Annahme- und Folgerungsfortsetzungen einer
Sequenz (RGF) .................................................................................................................................... 131
Definition 3-19. Die Menge der regelgemaβen Sequenzen (RGS)...............................................................133
Definition 3-20. Ableitung........................................................................................................................... 135
Definition 3-21. Deduktive Konsequenzschaft ............................................................................................ 139
Definition 3-22. Logische Beweisbarkeit ..................................................................................................... 140
Definition 3-23. Konsistenz ......................................................................................................................... 140
Definition 3-24. Inkonsistenz....................................................................................................................... 140
Definition 3-25. Deduktive Konsequenz fur Mengen .................................................................................. 140
Definition 3-26. Logische Beweisbarkeit fur Mengen ................................................................................. 140
Definition 3-27. Der Abschluss einer Aussagenmenge unter deduktiver Konsequenz ................................ 140
Definition 5-1. Interpretationsfunktion ....................................................................................................... 212
Definition 5-2. Modell................................................................................................................................. 212
Definition 5-3. Belegung ............................................................................................................................. 212
Definition 5-4. Belegungsvariante .............................................................................................................. 212
Definition 5-5. Termdenotationsfunktionen fur Modelle und Belegungen ................................................. 213
Definition 5-6. Termdenotationsoperation (TD) ......................................................................................... 213
Definition 5-7. Erfullungsfunktionen fur Modelle ....................................................................................... 214
Definition 5-8. Vierstelliger modelltheoretischer Erfullungspradikator ('..,..,.., = ..')...............................215
Definition 5-9. Vierstellige modelltheoretische Erfullung fur Mengen ........................................................ 227
Definition 5-10. Modelltheoretische Konsequenz ....................................................................................... 227
Definition 5-11. Allgemeingultigkeit ........................................................................................................... 227
More intriguing information
1. Standards behaviours face to innovation of the entrepreneurships of Beira Interior2. The name is absent
3. The name is absent
4. Are Japanese bureaucrats politically stronger than farmers?: The political economy of Japan's rice set-aside program
5. The demand for urban transport: An application of discrete choice model for Cadiz
6. The name is absent
7. Do imputed education histories provide satisfactory results in fertility analysis in the Western German context?
8. Globalization and the benefits of trade
9. Strategic Planning on the Local Level As a Factor of Rural Development in the Republic of Serbia
10. The name is absent