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

В выводе секвенции принципиально новое, не содержащегося в секвенции всегда:

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

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

нет(Верный ответ)

возможно, если оно вывод

есть

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

Контрпример к секвенции $A \mapsto B$ - это набор значений переменных, для которых все формулы:

Контрпример к секвенции $A \mapsto B$ будет контрпримером к формуле ( $\wedge A$ - конъюнкция, $\vee A$ - дизъюнкция формул из А)

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