zbiory adaś: udowodnij A ⊂ (A\B) ⋁ (A ⋀ B)

Basia: x∊A ⇔ x∊A∩Ω ⇔ x∊A∩(B∪B') ⇔ x∊(A∩B)∪(A∩B') ⇔ x∊A∩B ∨ x∊A∩B' ⇔ x∊A∩B ∨ [ x∊A ∧ x∊B' ] ⇔ x∊A∩B ∨ [ x∊A ∧ x∉B ] ⇔ x∊A∩B ∨ x∊A\B ⇔ x∊A\B ∨ x∊(A∩B) ⇔ x∊(A\B)∪(A∩B) wynika stąd, że A = (A\B)∪(A∩B) ⇒ A⊂(A\B)∪(A∩B) to jest dowód formalny, oparty na rachunku zdań; nie wiem czy o to chodziło

adaś: dziekuje