Предикаты в математической логике позволяют формализовать утверждения и выражения в различных областях, включая математику. Предикат - выражение с переменными, становящееся утверждением