Определите, являются ли следующие предложения высказываниями или %%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%%
Добрый день, подскажите пожалуйста ответы или где я допустил ошибку? Лекции перечитывал, все равно почему-то неверно!
Здравствуйте, Павел Алексеевич.
Вы не научились определять местность предиката, если используются кванторы. Вам необходимо перечитать страницу про кванторы. Там сказано, как кванторы влияют на местность предиката.
Чтобы сказать где у Вас ошибка распишите почему Вы выбрали тот или иной вариант ответа.
С уважением,
Валерий Алигорский.