Prawo zbiorów michau: Prawo zbiorów, wydaje mi się, że coś sknociłem ale nie wiem w którym momencie. 1. [(X−Y) ∪ Z] ⊆ (Y−Z)' 2. ∀[x ∊ (X−Y) ∪ Z] → [x ∊ (Y−Z)'] 3. x ∊ [(X−Y) ∪ Z] → x ∊ (Y−Z)' 4. [x ∊ (X−Y) v x ∊ Z] → ~ [(x ∊ Y) v (x ∊ Z)] 5. [x ∊ X ^~(x ∊ Y) v x ∊ Z] → ~ [(x ∊ Y) v (x ∊ Z)] Co mam źle?