Предикаты - это ...
это конкретные частные утверждения (2 + 3 = 5).
это утверждения о переменных (x + y > 5).
определенная часть математической логики