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