2124 Visa att
Hej, jag förstår inte riktigt hur man vet att det ska vara ∩ på andra raden av beviset. Jag förstår att man kan visa det med ett venndiagram, men finns det något sätt att förstå/förklara det algebraiskt?
I ord så följer likheten från att elementen som inte är i unionen av A och B [alltså de element som är i (A∪B)c=U∖(A∪B)], är precis de element som varken är i A (alltså i Ac=U∖A) eller i B (alltså i Bc=U∖B).
Generellt så gäller att (A∪B)c=Ac∩Bc eftersom element som inte ligger i en union av två mängder ligger i båda mängdernas komplement. Testa rita ett diagram.
Tillägg: 7 nov 2024 13:03
Formellt bevis:
x∈(A∪B)c⇔x∉A∪B⇔x∉A∧x∉B⇔x∈Ac∧x∈Bc⇔x∈Ac∩Bc.
Tecknet ∧ betyder "och", och betyder att både det till vänster och det till höger är sant.
Okej jag förstår lite mer nu, tack