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