Definitionsverzeichnis
Definition 1-1. Das Inventar von L (INV).........................................................................................................2
Definition 1-2. Die Menge der Grundausdrucke (GAUS).................................................................................3
Definition 1-3. Die Menge der Ausdrucke (AUS; Metavariablen: μ, τ, μ', τ', μ*, τ*, ...)...................................3
Definition 1-4. Ausdruckslange (AUSL)...........................................................................................................3
Definition 1-5. Stelligkeit............................................................................................................................... 13
Definition 1-6. Die Menge der Terme (TERM; Metavariablen: θ, θ', θ*, .) .................................................. 13
Definition 1-7. Atomare und funktorale Terme (ATERM und FTERM) .......................................................... 13
Definition 1-8. Die Menge der Quantoren (QUANTOR) ................................................................................ 13
Definition 1-9. Die Menge der Formeln (FORM; Metavariablen: Α, Β, Γ, Δ, Α', Β', Γ', Δ', Α*, Β*, Γ*, Δ*, .) .. 13
Definition 1-10. Atomare, junktorale und quantorale Formeln (AFORM, JFORM, QFORM) ......................... 14
Definition 1-11. Termgrad (TGRAD).............................................................................................................. 21
Definition 1-12. Formelgrad (FGRAD) ........................................................................................................... 21
Definition 1-13. Zuordnung der Menge der Variablen, die in einem Term θ oder einer Formel Γ frei
vorkommen (FV) ................................................................................................................................... 22
Definition 1-14. Die Menge der geschlossenen Terme (GTERM) .................................................................. 22
Definition 1-15. Die Menge der geschlossenen Formeln (GFORM) ............................................................... 22
Definition 1-16. Die Menge der Satze (SATZ; Metavariablen: Σ, Σ', Σ*, .) .................................................... 22
Definition 1-17. Annahme- und Folgerungssatze (ASATZ und FSATZ)..........................................................22
Definition 1-18. Satzaussagenzuordnung (A) ................................................................................................ 23
Definition 1-19. Die Menge der eigentlichen Ausdrucke (EAUS) ................................................................... 24
Definition 1-20. Die Teilausdruckfunktion (TA) ............................................................................................. 24
Definition 1-21. Die Teiltermfunktion (TT) .................................................................................................... 24
Definition 1-22. Die Teilformelfunktion (TF) ................................................................................................. 24
Definition 1-23. (Satz)Sequenzen (Metavariablen: ⅛, ⅛', ⅛*, .).................................................................24
Definition 1-24. Menge der (Satz)Sequenzen (SEQ) ...................................................................................... 25
Definition 1-25. Konklusionszuordnung (K) ................................................................................................... 25
Definition 1-26. Zuordnung der Teilmenge einer Sequenz ft, deren Glieder die Annahmesatze von ft sind
(ANS) .................................................................................................................................................... 25
Definition 1-27. Zuordnung der Menge der Annahmen (AN) ........................................................................ 25
Definition 1-28. Zuordnung der Teilmenge einer Sequenz ft, deren Glieder die Folgerungssatze von ft sind
(FS) ....................................................................................................................................................... 25
Definition 1-29. Zuordnung der Menge der Teilterme der Glieder einer Sequenz ft (TTSEQ).......................25
Definition 1-30. Zuordnung der Menge der Teilterme der Elemente einer Formelmenge X (TTFM) ........... 25
Definition 1-31. Substitution von geschlossenen Termen fur atomare Terme in Termen, Formeln, Satzen
und Sequenzen ..................................................................................................................................... 26
More intriguing information
1. The name is absent2. The Role of Evidence in Establishing Trust in Repositories
3. The name is absent
4. A Duality Approach to Testing the Economic Behaviour of Dairy-Marketing Co-operatives: The Case of Ireland
5. Reform of the EU Sugar Regime: Impacts on Sugar Production in Ireland
6. Internationalization of Universities as Internationalization of Bildung
7. The name is absent
8. The name is absent
9. Dynamic Explanations of Industry Structure and Performance
10. The name is absent