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