Logika Hubi: Udowodnij (A∩B) ∪ ( A\B) = A

g: 1) jeżeli x∊A to 1.1) jeżeli x∊B to x∊(A∩B), więc x∊(A∩B) ∪ (cokolwiek) 1.2) jeżeli x∉B to x∊*(A\B), więc x∊(cokolwiek) ∪ (A\B) 2) jeżeli x∉A to x∉(A∩B) i x∉(A\B), więc x∉(A∩B) ∪ ( A\B) schemat rozumowania (∀x (x∊X ⇒ x∊Y) ⋀ (x∉X ⇒ x∉Y)) ⇔ X=Y

Adamm: (A∩B)∪(A\B)=(A∩B)∪(A∩B')=A∩(B∪B')=A tutaj skorzystałem z rozdzielności iloczynu względem sumy zbiorów