Доказательство тождества дискретная математика

[vladis222]

Помогите, пож-та доказать тождество A ∪ B= A ∪ (B \ A), по какому закону его можно доказать?

[Белый кролик]

Круги Эйлера.

[vladis222]

Круги Эйлера.

а по законам как?

[Белый кролик]

Не знаю.  

[Lucky_Lady]

По-моему, можно через "выражение операций через пересечение и объединение"

[Lucky_Lady]

Вот, поняла:
1) сначала через "выражение операций через пересечение и объединение" В/А представляете как пересечение В и не А
2) затем дистрибутивность
3) Свойство пустого множества (в одной скобке получается универсальное множ-во)
4) И опять свойство пустого можества - универсальное множество пересекается со 2-ой скобкой и ГОТОВО!!!
P.S - если что-то непонятно, спрашивайте, распишу

[vladis222]

Вот, поняла:
1) сначала через "выражение операций через пересечение и объединение" В/А представляете как пересечение В и не А
2) затем дистрибутивность
3) Свойство пустого множества (в одной скобке получается универсальное множ-во)
4) И опять свойство пустого можества - универсальное множество пересекается со 2-ой скобкой и ГОТОВО!!!
P.S - если что-то непонятно, спрашивайте, распишу

CПАСИБО

[vladis222]

Вот, поняла:
1) сначала через "выражение операций через пересечение и объединение" В/А представляете как пересечение В и не А
2) затем дистрибутивность
3) Свойство пустого множества (в одной скобке получается универсальное множ-во)
4) И опять свойство пустого можества - универсальное множество пересекается со 2-ой скобкой и ГОТОВО!!!
P.S - если что-то непонятно, спрашивайте, распишу

CПАСИБО

А можете пожалуйста записать это в формульном виде?

[Lucky_Lady]

Вот

[vladis222]

Вот

а скажите пож-та можно объединение представить в виде сим разность+пересечение?

[Lucky_Lady]

Запишите, пожалуйста, формулой