Prädikat (von ‚zusprechen‘) nennt man in der modernen
Logik den Teil einer atomaren
Aussage, durch den eine Eigenschaft von einem Gegenstand ausgesagt wird. Der der Eigenschaft entsprechende
Begriff wird dem Gegenstand zugesprochen, oder von ihm
prädiziert. Das einfachste formallogische System, welches mit (bestimmten) Prädikaten operiert, ist die
Prädikatenlogik erster Ordnung. Es gibt zwei Möglichkeiten, aus Prädikaten Aussagesätze zu gewinnen: zum einen dadurch, dass man das Prädikat auf bestimmte einzelne Gegenstände oder auf bestimmte
n-Tupel von Gegenständen anwendet, oder dadurch, dass man die passenden Leerstellen des Prädikats durch Individuennamen ersetzt oder durch
Quantifizierung bindet.