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
Kafkas Schloss als Atom
In dieses Jahr fällt der 100. Todestag von Franz Kafka, der in den Medien ausführlich gefeiert wird. Hier soll es riskiert werden, den Dichter in Verbindung mit der Naturwissenschaft zu sehen, auch wenn das zunächst wenig Erfolg zu versprechen scheint. Es soll um den unvollendeten Roman „Das Schloss“ gehen, der in den frühen...
Wissenschaft
Das mach ich doch im Schlaf
Eine geruhsame Nacht dient nicht nur der Erholung, sondern hilft auch beim Lernen – vorausgesetzt, man hat bereits tagsüber damit angefangen. Warum das so ist, erklärt Dr. med. Jürgen Brater. Es gibt eine ganze Reihe von Computerprogrammen, die versprechen, dass es mit ihrer Hilfe möglich sei, während des Schlafes zu lernen, das...
