Решите и докажите следующую логическую, математическую задачу по множествам. Проверить, что A ⋂ B ⊆ C ⇔ A ⊆ ¬B ⋃ C.

Сначала следует попробовать опровергнуть это утверждение, т. е. найти такие множества A, B и C, чтобы выполнялось отношение

A ⋂ B C, но не выполнялось A B ⋃ C, или, наоборот, выполнялось A B ⋃ C и не выполнялось A ⋂ B C. После безуспешных попыток найти такие множества следует доказать данное утверждение.

Доказательство распадается на два э...