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

Глубина формулы $\neg A$ равна:

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

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

глубине A(Верный ответ)

глубин A минус единица

глубин A со знаком минус

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

Глубина формулы $A \vee B$ равна:

Глубина формулы $A \wedge B$ равна:

Глубина формулы $\forall x:A$ :

Глубина формулы $\exists x:A$ :

Если

- минимальная глубина схемы, вычисляющая функцию

, то:

Теория Т - $\sum\nolimits_1 {}$ аксиоматизируема, если существуют $\sum\nolimits_1 {}$ -формулы, из которых:

Формулы класса П_1

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

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима $\neg A$ , то:

Общезначимость формулы C_0

свободными переменными равносильна общезначимости ее: