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

будет выглядеть так: ПРЕДИКАТ (в логике)


будет выглядеть так: Что такое ПРЕДИКАТ (в логике)