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