Энциклопедический словарь

(от лат. praedicatum - сказуемое) - в узком смысле - то же, чтосвойство; в широком смысле - отношение, т. е. свойство несколькихпредметов. В логике - пропозициональная функция, т. е. выражение снеопределенными терминами (переменными), при выборе конкретных значенийдля этих терминов преобразующееся в осмысленное истинное( или ложное)высказывание.