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