Предикатами называются функции, значениями которых служат высказывания. Данные функции превращаются в высказывания после подстановки имен вместо переменных.