??? szofer: mam takie coś: x∊(A∩A)⇔x∊X/(A∪A)⇔x∊X⋀X∉(A∪A).... i wychodzi mi: (x∊A')∪(x∊A') i pytanie czy z tego wynika że x∊A