Bei einem prädikatenlogisch formalisierten Satz Mf (z.B. Frank ist ein Mensch) ist M (…ist ein Mensch) das Prädikat bezogen auf f (Frank).
''[[Logik]]:'' [[Prädikatenlogik]]: eine Funktion in die Menge der Wahrheitswerte; der Teil einer Aussage, durch den etwas über etwas ausgesagt wird