Как доказать почти очевидное утверждение?

[Евгений Машеров]

От противного?
Предположим, что пересечение A и B, A подмножество B, не равно A. Тогда есть элемент пересечения, не принадлежащий A, или же есть элемент A, не принадлежащий пересечению. Первое противоречит определению подмножества, второе противоречит определению пересечения.

[Mikhail_K]

Евгений Машеров в сообщении #1592951 писал(а):

Первое противоречит определению подмножества, второе противоречит определению пересечения.

Наоборот?

[Ende]

Ветка, не имеющая отношения к ПРР, отделена в тему «Еще раз о природе математического доказательства»