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

Предикат определяемый формулой x=const:

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

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

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

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

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

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

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

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

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

Если A и B - пропозициональные формулы, то такой же формулой будет:

Предикат "x=4_n", n - натуральное:

Предикат "x>y", x,y - целое:

Предикат "x=2_n", n - натуральное:

n - местный предикат P - устойчив относительно автоморфизма $f:X \to X$ , если: