Определите, являются ли следующие предложения высказываниями или n-местными предикатами. Все переменные принадлежат множеству действительных чисел.
∃x ∃y x2+y2=1
∃x 2x+5y=6
∀y x5+y3=1
∀x ∃y x+y−z=1
∃x ∀y ∃z x+y2+z=1
∃x ∃y x=−2y
Добрый вечер. В лекциях нет примера “Предикантов” совместно с кванторами. Отмечал по количеству переменных независимо от квантовов. Ответ был не правильный! Как кванторы влияют на размер предиканта?
Здравствуйте, Павел Алексеевич.
В лекциях написано как квантор влияет на местность предиката. Абзац после Отрицание «кванторов».
С уважением,
Валерий Алигорский.