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. Business Networks and Performance: A Spatial Approach2. Unemployment in an Interdependent World
3. The name is absent
4. Analyzing the Agricultural Trade Impacts of the Canada-Chile Free Trade Agreement
5. Restricted Export Flexibility and Risk Management with Options and Futures
6. Der Einfluß der Direktdemokratie auf die Sozialpolitik
7. The Integration Order of Vector Autoregressive Processes
8. The name is absent
9. How we might be able to understand the brain
10. Knowledge, Innovation and Agglomeration - regionalized multiple indicators and evidence from Brazil