formalny dowód na zbiorach karolek : Formalnie udowodnić, że jeśli A, B i C są zbiorami, to (A ∪ B) − B ⊆ (A − B) ∪ C prosiłbym o pomoc

Basia: rachunek zdan x∊(A∪B)−B ⇔ (x∊A ∨ x∊B) ∧ x∉B ⇔ (x∊A ∧ x∉B) ∨ (x∊B ∧ x∉B) ⇔ x∊(A−B) ∨ 0 ⇔ x∊(A−B) ⇒ x∊(A−B) ∨ (dowolne zdanie) ⇒ x∊(A−B) ∨ x∊C ⇔ x∊(A−B)∪C stad (A∪B)−B⊆ (A−B)∪C gdzie C dowolny zbior

Basia: wyjasnienie: opieram sie tutej na prawach: (p∨q)∧r = (p∧r)∨(q∧r) p∧(~p)=0 p ⇒ p∨q

karolek : już rozumiem, dziękuję bardzo za rozwiązanie