Языки и исчисления

Любое вхождение переменной в терм:

(Отметьте один правильный вариант ответа.)

Варианты ответа

свободно (Верный ответ)

терм

атомарно

Похожие вопросы

Любое вхождение переменной в атомарную формулу:

Вхождение индивидной переменной, не из области действия одноименного квантора называется:

Любое совместное множество замкнутых формул:

Если х - свободное вхождение в формулу А, то оно всегда:

Если х - свободное вхождение в формулу А или В, то оно: