Andy » Вт сен 25, 2018 9:55 am
Предположим, что доказываемое утверждение ложно, то есть его посылка истинна, а заключение ложно, или что [tex]A \ne B.[/tex]Тогда существует элемент, который принадлежит множеству [tex]A,[/tex] но не принадлежит множеству [tex]B.[/tex] При этом и равенство [tex]A \cup B=A \cap B[/tex] неверно, то есть неверной оказывается посылка доказываемого утверждения. То же получается, если в множестве [tex]B[/tex] существует элемент, который не принадлежит множеству [tex]A.[/tex] Полученные противоречия доказывают истинность заданного утверждения.