Показать, что предикат невыразим в интерпретации

[alexdem1992]

Добрый день.
Читаю курс на интуите. Там предлагается решить 2 задачи. Одна из них вот:

Цитата:

Покажите, что предикат $y=x+1$ невыразим в интерпретации $(\mathbb{Z}, {=}, f)$, где $f$ — одноместная функция $x\hm\mapsto(x+2)$.

У меня есть непонимание. В примерах на интуите разобраны простые примеры, где нужно доказывать невыразимость предикатов типа $x=3$. А тут появилась функция, как решать такое - не понятно.

Понятно, что для решения задачи нужно придумать некоторый автоморфизм интерпретации, относительно которого интересующий предикат неустойчив.

Пробовал различные варианты, а-ля:
$x\hm\mapsto(x^2)$, $x\hm\mapsto(2+x)$, но всё это не проходит.

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам:

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения и/или укажите затруднения.

3. Уберите внешнюю ссылку, приведя необходимый текст в самом сообщении (см. п. III.5 "Внешние ссылки" Правил Форума).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

[Lia]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»