Есть 4 суждения Все моря глубокие. Все водоемы- это моря

Задача сводится к цепочке высказываний (категориальная логика). Дано (2 premises): 1) Все моря глубоки. (Все M → G, то есть M ⊆ G) 2) Все водоемы — это моря. (Все W → M, то есть W ⊆ M) Необходимое следствие: 3) Все водоемы глубоки. (W ⊆ G) Доказательство по шагам: - Пусть x принадлежит W. Из второго условия следует, что x принадлежит M. - Так как M ⊆ G (из первого условия), следует, что x принадлежит G. - Значит для любого x из W выполняется x ∈ G, то есть W ⊆ G. Обобщённо это канонический силлогизм типа Барбара (AAA, фигура 1): - Все M — это G - Все W — это M - Поэтому все W — это G Ответ: Все водоемы глубоки.