Gdzie należy omega john2: Zbiory. Rozmyślam o zbiorach i ciekawi mnie coś takiego. Generalnie chodzi mi o to, gdzie może się znaleźć element omega w trzech przypadkach. Proszę o poprawienie moich rozważań. 1) Jeżeli dwa zbiory są rozłączne, czyli nie mają części wspólnej, to prawdą będzie, że jeśli element omega należy do ich sumy, to należy albo do zbioru A, albo do zbioru B. Nie może należeć do obu naraz: ω ∊ (A ∪ B) ⇒ ω ∊ A ∨ ω ∊ B (ma być⇒ czy ⇔?) 2) Jeżeli mają część wspólną, to element omega może należeć albo do A\B, albo do B\A, albo do obu naraz, czyli A ∩ B: ω ∊ (A ∪ B) ⇒ ω ∊ A\B ∨ ω ∊ B\A ∨ (A ∩ B) 3) Jeżeli nie wiadomo, czy są rozłączne, czy można po prostu napisać, tak samo jak w 1), czyli ω ∊ (A ∪ B) ⇒ ω ∊ A ∨ ω ∊ B czyli należy do A i nie wiemy, do której części A (być może tej wspólnej z B) i należy do B (znowu nie wiemy, do której części).