Все моря глубокие и все водоемы моря

Целевая задача: понять логическую связь и сделать вывод. Дано две универсальные утверждения: - Все моря глубокие. Это значит: М ⊆ Г, где М — множество морей, Г — множество глубоких. - Все водоемы моря. Это значит: В ⊆ М, где В — множество водоёмов. Пошаговый вывод: 1) Из первого утверждения имеем М ⊆ Г (море принадлежит к глубине). 2) Из второго утверждения имеем В ⊆ М (любой водоём является морем). 3) По транзитивности включений: В ⊆ М и М ⊆ Г ⇒ В ⊆ Г. 4) Следовательно: Все водоёмы глубокие. Ответ: все водоёмы глубокие.