Prädikạtenlogik

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).