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

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

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

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

на единицу меньше глубины A

на единицу больше глубины A(Верный ответ)

равна глубине A

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

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

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

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

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

Утверждение $\forall x\forall y\exists z\forall u\exists vA(x,y,z,u,v)$ выполнимо только тогда, когда выполнимо:

Если

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

, то:

Фильтр на S со свойством $A \in F$ или $S\backslash A \in F\forall A \subset S$ называется:

$\sum\nolimits_1 {}$ - теорема $\exists x_1 ...\exists x_2$ А теории T₁ и отрицающая ее П₁-теорема $\forall x_1 ...\forall x_n$ А теории T₂:

Утверждение $\forall x\exists y{\rm }A(x,y)$ нельзя записать в виде:

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