Prädikatenlogik: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Gel…“) |
Kowa (Diskussion | Beiträge) |
||
| Zeile 8: | Zeile 8: | ||
==Definition ([[Gellert, Kästner, Neuber (1979)]])<ref>{{Quelle|Gellert, Kästner, Neuber (1979)}}</ref>== | ==Definition ([[Gellert, Kästner, Neuber (1979)]])<ref>{{Quelle|Gellert, Kästner, Neuber (1979)}}</ref>== | ||
''Theorie der Prädikate beliebiger Stellenzahl und Stufe; zugleich Erweiterung der [[Aussagenlogik]], die dadurch entsteht, daß man den ''inneren Aufbau'' einfachster [[Aussage]]n berücksichtigt, die von der Form »das Prädikat $P$ tifft auf die Dinge $a_1, \ldots, a_n$ zu« sind, und daß man [[Quantifizierung]]en in die Betrachtung einbezieht.'' | ''Theorie der Prädikate beliebiger Stellenzahl und Stufe; zugleich Erweiterung der [[Aussagenlogik]], die dadurch entsteht, daß man den '''inneren Aufbau''' einfachster [[Aussage]]n berücksichtigt, die von der Form »das Prädikat $P$ tifft auf die Dinge $a_1, \ldots, a_n$ zu« sind, und daß man [[Quantifizierung]]en in die Betrachtung einbezieht.'' | ||
[...] | [...] | ||
''Je nach Art der erlaubten Quantifizierung unterscheidet man verschiedene P.en: in der ''P. der ersten Stufe'' dürfen nur [[Individuen]]variablen quantifiziert werden, in der ''P. der zweiten Stufe'' dürfen Individuenvariablen und | ''Je nach Art der erlaubten Quantifizierung unterscheidet man verschiedene P.en: in der '''P. der ersten Stufe''' dürfen nur [[Individuen]]variablen quantifiziert werden, in der '''P. der zweiten Stufe''' dürfen Individuenvariablen und Prädikate der ersten Stufe quantifiziert werden; allgemein dürfen in der '''P. der $(n+1)$-ten Stufe''' Individuenvariablen und Prädikate bis $n$-ter Stufe quantifiziert werden.'' | ||
==Quellen== | ==Quellen== | ||
Aktuelle Version vom 16. August 2016, 11:54 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 4 (großteils überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 5 (vollständig vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition (Gellert, Kästner, Neuber (1979))[1]
Theorie der Prädikate beliebiger Stellenzahl und Stufe; zugleich Erweiterung der Aussagenlogik, die dadurch entsteht, daß man den inneren Aufbau einfachster Aussagen berücksichtigt, die von der Form »das Prädikat $P$ tifft auf die Dinge $a_1, \ldots, a_n$ zu« sind, und daß man Quantifizierungen in die Betrachtung einbezieht.
[...]
Je nach Art der erlaubten Quantifizierung unterscheidet man verschiedene P.en: in der P. der ersten Stufe dürfen nur Individuenvariablen quantifiziert werden, in der P. der zweiten Stufe dürfen Individuenvariablen und Prädikate der ersten Stufe quantifiziert werden; allgemein dürfen in der P. der $(n+1)$-ten Stufe Individuenvariablen und Prädikate bis $n$-ter Stufe quantifiziert werden.
Quellen
- ↑ Gellert, Kästner, Neuber (1979): Lexikon der Mathematik; Hrsg.: Walter Gellert, Herbert Kästner und Siegfried Neuber; Auflage: 2; Verlag: VEB Bibliographisches Institut Leipzig; Adresse: Leipzig; 1979; Quellengüte: 5 (Buch)
