Предикаты примитивной рекурсии

[and2517]

Докажите, что следующий предикат примитивно рекурсивный E(x): "x четно";
Помогите кто может. Я не могу понять как это доказать.

[Lia]

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

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

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.