Prädikatenlogik: Unterschied zwischen den Versionen

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Gel…“)
 
(Definition (Gellert, Kästner, Neuber (1979)){{Quelle|Gellert, Kästner, Neuber (1979)}})
 
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 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.''
+
''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)

1 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.

2 Quellen