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. Demographic Features, Beliefs And Socio-Psychological Impact Of Acne Vulgaris Among Its Sufferers In Two Towns In Nigeria2. The Economic Value of Basin Protection to Improve the Quality and Reliability of Potable Water Supply: Some Evidence from Ecuador
3. Experimental Evidence of Risk Aversion in Consumer Markets: The Case of Beef Tenderness
4. Initial Public Offerings and Venture Capital in Germany
5. The Nobel Memorial Prize for Robert F. Engle
6. Are class size differences related to pupils’ educational progress and classroom processes? Findings from the Institute of Education Class Size Study of children aged 5-7 Years
7. The name is absent
8. Distortions in a multi-level co-financing system: the case of the agri-environmental programme of Saxony-Anhalt
9. The name is absent
10. The East Asian banking sector—overweight?