Lexikon
Prädikạtenlogik
[
Prädikatenkalküllateinisch + griechisch
]ein Teil der mathematischen Logik (Logistik), der sich mit der formalen Analyse der Aussage befasst; die Aussageform wird dabei als eine Funktion mit Konstanten und Variablen behandelt. Während in der Aussagenlogik die Aussagen als Ganzes betrachtet und verknüpft werden, trennt man in der Prädikatenlogik Subjekt und Prädikat. Bedeutet P das Prädikat „ist eine Primzahl“, so steht P(x) für „x ist eine Primzahl“; P (5): „5 ist eine Primzahl“. P ist die Prädikatsvariable, x die Subjektsvariable. Einem Prädikat können auch mehrere Subjektsvariablen zugeordnet sein (mehrstellige Prädikate).
Wissenschaft
Das Kosmologische Prinzip
Es ist die Grundlage für das größte Erfolgsmodell aller Zeiten: das Verständnis des gesamten Universums. von RÜDIGER VAAS „Ich bin der Kater, der allein läuft, und alle meine Plätze sind für mich gleich“, heißt es in der 1902 veröffentlichten Kurzgeschichte „The Cat that Walked by Himself“ von Rudyard Kipling. Müssten Kosmologen...
Wissenschaft
Lust auf Arbeit?
Im europäischen Vergleich liegen die Deutschen mit ihrer durchschnittlichen Wochenstundenzahl im Ranking weit hinten. Die Jungen reden anscheinend nur noch von Work-Life-Balance, und die Alten ziehen sich ins Homeoffice zurück. Ist der fleißige Deutsche Geschichte? Ein Blick auf die Zahlen. von CHRISTIAN WOLF Die...