Терм - это
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
символ переменной(Верный ответ)
n-арная функция нескольких переменных, где каждая переменная - это терм(Верный ответ)
одно из правил вывода исчисления предикатов