Материал предоставлен http://it.rfet.ru

Определите, являются ли следующие предложения высказываниями или %%n%%-местными предикатами. Все переменные принадлежат множеству действительных чисел.

  1. %%\exists x~\exists y~~x^2 + y^2 = 1%%

  2. %%\exists x~~2x + 5y = 6%%

  3. %%\forall y~~x^5 + y^3 = 1%%

  4. %%\forall x~\exists y~~x + y - z = 1%%

  5. %%\exists x~\forall y~\exists z~~x + y^2 + z = 1%%

  6. %%\exists x~\exists y~~x = -2y%%

8 лет назад

что не так? где я не прав, подскажите пожалуйста?

8 лет назад

Здравствуйте, Илья Анатольевич.

Вы не научились определять местность предиката, если используются кванторы. Вам необходимо перечитать страницу про кванторы. Там сказано, как кванторы влияют на местность предиката.

С уважением,
Валерий Алигорский.

Ваш комментарий

Комментирование доступно только для авторизованных пользователей.