Что это такое? Где используют?
Предикат — это выражение, которое, будучи соотнесенным с некоторым объектом, делает высказывание истинным или ложным. Например, "зарплата более 50 000 долларов" — это предикат. Можно вычислить этот предикат для конкретного работника, получив, таким образом, высказывание. Скажем, у некоего работника зарплата составляет 60 000 долларов. Оценив высказывание для этого работника, мы получим истинное значение. Иными словами, предикат — это параметризованное высказывание.