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