Zum Inhalt springen

Mengentheorie/Einfaches Mengengesetz/1/Aufgabe/Lösung

Aus Wikiversity


Es sei  xA(BC).  Dann ist  xA  und  xBC.  Letzteres bedeutet x∉B oder x∉C. Im ersten Fall ist  xAB,  im zweiten Fall  xAC,  in beiden Fällen also  x(AB)(AC)

Wenn umgekehrt  x(AB)(AC)  gilt, so bedeutet dies  xAB  oder  xAC.  Im ersten Fall ist  xA  und  xB,  im zweiten Fall  xA  und  xC.  Also ist  xA  und  xBC  und somit ist

 xA(BC)