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
Wem gehört der Weltraum?
Auch im All herrschen Recht und Ordnung. Eine irdische Einführung in außerirdisches Recht. von FRANZISKA KONITZER Zugegeben, auf der Liste der internationalen Zwischenfälle rangiert der Tod einer kubanischen Kuh weit unten. Aber er sorgte doch für einige Aufregung. Am 30. November 1960 war eine US-amerikanische Rakete vom Typ...
Wissenschaft
Implantierbares Notfall-Reservoir für Diabetes-Patienten entwickelt
Ein extrem niedriger Blutzuckerspiegel kann für Menschen mit Typ-1-Diabetes lebensbedrohlich sein. Patienten spritzen sich in dieser Situation normalerweise ein Hormon namens Glukagon, das den Blutzucker wieder reguliert. Doch es gibt auch Diabetes-Patienten, die ihren gefährlichen Zustand nicht bemerken, etwa weil sie schlafen,...