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
Doch kein Vulkanausbruch im „chinesischen Pompeji“?
Die Yixian-Formation im Nordosten Chinas enthält eine Fülle außergewöhnlich gut konservierter Fossilien aus der Kreidezeit, darunter auch viele Dinosaurier. Bislang ging die Wissenschaft davon aus, dass Vulkanausbrüche für den hervorragenden Erhaltungszustand verantwortlich waren, was der Region den Namen „chinesisches Pompeji“...
Wissenschaft
Rätsel des Sonnenzyklus gelöst
Alle 10,4 Jahre ist die Zahl der Sonnenflecken am größten. Das konnten Forscher nun erstmals über ein Jahrtausend hinweg nachweisen – und endlich auch die Ursache klären. von THOMAS BÜHRKE Im Jahr 1829 verkaufte Samuel Heinrich Schwabe seine Apotheke in Dessau. Das tat er nicht etwa, weil sie schlecht lief, sondern weil er sich...
