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
Die Champions vom Rhein
Sich mit den Besten der Welt zu messen, motiviert nicht nur Fußballer und Olympioniken zu Höchstleistungen. Auch Forscher lieben den Wettbewerb. In der Weltliga der Robotik ist ein Team aus Deutschland seit mehr als zehn Jahren ganz vorne dabei. von ULRICH EBERL In den Hallen der Weltmeister herrscht eine ruhige Arbeitsatmosphäre...
Wissenschaft
Die arbeitende Atmosphäre
Neue Simulationen versuchen die Prozesse in der Atmosphäre mithilfe thermodynamischer Konzepte auf einfache Weise zu bilanzieren. von DIRK EIDEMÜLLER Langsam, aber sicher wird es wärmer auf dem Planeten Erde. In den letzten Jahren hat sich nicht nur die globale Oberflächentemperatur klar messbar erhöht. Auch die...
