Определите, являются ли следующие предложения высказываниями или %%n%%-местными предикатами. Все переменные принадлежат множеству действительных чисел.
%%\exists x~\exists y~~x^2 + y^2 = 1%%
%%\exists x~~2x + 5y = 6%%
%%\forall y~~x^5 + y^3 = 1%%
%%\forall x~\exists y~~x + y - z = 1%%
%%\exists x~\forall y~\exists z~~x + y^2 + z = 1%%
%%\exists x~\exists y~~x = -2y%%
что не так? где я не прав, подскажите пожалуйста?
Здравствуйте, Илья Анатольевич.
Вы не научились определять местность предиката, если используются кванторы. Вам необходимо перечитать страницу про кванторы. Там сказано, как кванторы влияют на местность предиката.
С уважением,
Валерий Алигорский.