Предикаты - это ...

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