Большой российский энциклопедический словарь
ПРЕДИКАТ
ПРЕДИКА́Т (от лат. рrаеdicatum - сказуемое), в узком смысле - то же, что свойство, в широком смысле - отношение, т.е. свойство неск. предметов. В логике - пропозициональная функция, т.е. выражение с неопредел. терминами (переменными), при выборе конкретных значений для этих терминов преобразующееся в осмысленное (истинное или ложное) высказывание.