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
Bakterielles Gift verschlimmert Colitis ulcerosa
Die chronisch-entzündliche Darmerkrankung Colitis ulcerosa geht mit Bauchschmerzen, Durchfall und Darmblutungen einher. Ihre Auslöser sind allerdings noch weitgehend ungeklärt. Nun sind Forschende einer Ursache auf die Spur gekommen. Demnach produzieren bestimmte Bakterien ein Gift, dass die Makrophagen in der Darmschleimhaut...
Wissenschaft
Atomuhren zum Mitnehmen
Optische Atomuhren messen die Zeit so präzise wie kein anderer Taktgeber. Dank einer Erfindung des deutschen Nobelpreisträgers Theodor Hänsch rücken sie jetzt näher an die Praxis und werden nutzbar für mobile Anwendungen. von NIKOLAUS FECHT Ohne ihn hätten die Wissenschaftler keine Möglichkeit, die Zeit mit einer solchen...
