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

Question

[notxleb]

Comments

[Griboks]

Похоже на логическую ошибку.

[jcmvbkbc]

Griboks, да не, всё чотко

[Griboks]

jcmvbkbc, двусторонняя импликация?

Answer 1

[Rsa97]

Разница в том, что утверждение "существует x принадлежащее множеству S ИЛИ существует x принадлежащее множеству T" равносильно утверждению "существует x такое, что x принадлежит множеству S ИЛИ x принадлежит множеству T", но из утверждения "существует x принадлежащее множеству S И существует x принадлежащее множеству T" не следует утверждение "существует x такое, что x принадлежит множеству S И x принадлежит множеству T".

Comments

[notxleb]

"существует x принадлежащее множеству S И существует x принадлежащее множеству T" означает ли это всего лишь то, что S и T не пустые множества? Трудно понять этот момент

[Therapyx]

notxleb, это должно быть по идее в описании, иначе если взять "все варианты", то и S и T пренадлежат языку блабла Σ* = (Ɛ, a, b....n). Т.е. там может находится что угодно.
Вообще советую посмотреть пару вводных лекций по теоретической информатики на ютубе. Станет однозначно легче.

[hint000]

notxleb,

существует x принадлежащее множеству S И существует x принадлежащее множеству T

здесь иксы могут быть разные, т.е. это равносильно

существует x1 принадлежащее множеству S И существует x2 принадлежащее множеству T

существует x такое, что x принадлежит множеству S И x принадлежит множеству T

а вот здесь уже икс обязан быть один и тот же