(Специальные разделы высшей математики. Часть 2)
Если вместо аргументов δ атома ε(δ→ θ) подставляются аргументы θ, то такая подстановка называется
Выберите один ответ:
a. заменой переменной
b. переименованием переменной
c. унификацией
d. конкретизацией переменной