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

<<- Назад к вопросам

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

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

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

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

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

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

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

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

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

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

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

Если существуют подстановки $A(y_1 /x_1 \ldots y{}_k/x_k ), \ldots ,A(w_1 /x_1 \ldots w_k /x_k )$ для которых общезначима дизъюнкция, то формула $\exists x_1 \ldots \exists x_k A$ (А - бескванторна):

Если

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

, то:

Формула $\exists x_1 \ldots \exists x_k A$ , c,d - const:

Формула $\exists x_{1,} \cdots \exists x_k A$ (А - бескванторная ) общезначима, если общезначима дизъюнкция подстановок:

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

Предикат $"\neg \exists {\rm }y \ne 1,x:x{\rm }\bmod {\rm }y = 0,{\rm }x,y \in N"$ :

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

Глубина формулы :

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