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