Онтология и теория познания

Логический термин, представляющий собой пропозициональную функцию, т.е. выражение с неопределёнными терминами (переменными), при выборе конкретных значений для этих терминов преобразующееся в осмысленное (истинное или ложное) высказывание — это:

Предикат