Udowodnij, że (rachunek zbiorów) toznowuja: Ktoś może sprawdzić i podpowiedzieć jak skończyć? Mam takie zadanka: Udowodnij, że dla dowolnych ABCD zachodzą implikacje: 1.(A\B)=(B\A)⇒A=B zrobiłem to tak że założyłem prawdziwość lewej strony. Następnie jeżeli x∊A⋀x∉B oraz x∉A⋀x∊B to z tego wynika, że te zbiory są puste. A wszystkie zbiory puste są równe. 2.A⊂B⋀C⊂D⇒A\D⊂B\C Tutaj gorzej... Założyłem jak poprzednio, że lewa strona implikacji prawdziwa. Jeżeli x∊A∩C to x∊A i x∊C. Dalej jeżeli to prawda to znaczy że x∊B∩D Dalej szczerze nie wiem jak... 3.A⊂B⇒C\B⊂C\A Tego to kompletnie nie wiem

panpawel: 3.A⊂B⇒C\B⊂C\A ,a to przypadkiem nie jest oczywiste tak na chłopski rozum odejmujesz od B i od A to samo C a skoro A⊂B jest prawdą...

toznowuja: No wiem ale trudno mi jest napisać Pani na kolokwium, że to oczywiste na chłopski rozum xD Ja tu w ogóle widze sprzeczność . Skoro x∊A⇒x∊B to jak może być jednocześnie tak, że x∊C\B⇒x∊C⋀x∉B?