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

Общезначима формула:

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

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

$\forall x{\rm }\exists y{\rm }A(x,y) \to \exists y{\rm }\forall x{\rm }A(x,y)$ (Верный ответ)

$\forall x{\rm }\forall y{\rm }A(x,y) \to \exists x{\rm }\forall x{\rm }\neg A(x,y)$

$\exists x{\rm }\forall y{\rm }A(x,y) \to \neg \exists y{\rm }\forall x{\rm }A(x,y)$

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

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

Не общезначима формула:

Общезначима формула:

Не общезначима формула:

Если существуют подстановки $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$ (А - бескванторна):

Если в теории Г выводима формула $А \wedge \neg A$ (А - любая формула), то она:

Верна формула: