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
Narwal-Snacks und Heringskarussell
Die Erwärmung des Meeres ist im Nordatlantik deutlich merkbar. Ihre Anpassungsfähigkeit hilft den dort lebenden Schwertwalen, sich darauf einzustellen und neue Überlebensstrategien zu entwickeln. von BETTINA WURCHE Der nördliche Nordatlantik ist besonders stark vom Klimawandel geprägt: Durch die Meereserwärmung geht die...
Wissenschaft
Proteine im Blut verraten Alter unseres Gehirns
Wie schnell wir altern, ist individuell unterschiedlich. Im Alter steigt jedoch bei uns allen das Risiko für neurodegenerative Erkrankungen wie Demenz. Neurobiologen haben nun 13 Proteine in unserem Blut identifiziert, die mit der Alterung unseres Gehirns in Verbindung stehen. Im Laufe des Lebens verändern sich demnach die...
