В каком случае переменная x называется свободной в терме λx.A?
(Отметьте один правильный вариант ответа.)
Варианты ответа
если она имеет единственное вхождение в терм А
если она не имеет вхождений в терм А(Верный ответ)
если она имеет хотя бы одно вхождение в терм А