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

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

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

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

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

не арифметический

арифметический или нет, в зависимости от значений x,y

арифметический(Верный ответ)

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

Предикат определяемый формулой $x\bmod y{\rm = 0}{\rm , x}{\rm , y} \in {\rm N}$ :

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

Предикат z=НОД(x,y), $x,y \in N$ :

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

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

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

Предикат определяемый формулой $x \le y,{\rm }x,y \in N$ :

Предикат определяемый формулой $x{\rm }div{\rm }y{\rm = 0}{\rm , x}{\rm , y} \in {\rm N}$ :

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

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

Предикат :

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