zal Sanders: Mam pokazać zależnościami jakie zachodzą miedzy zbiorami A, B, C gdy zachodzi równość [(A n B) u C] \ A = (A n B) \C Jakis pomysl?

Sanders: Saizou, pomógłbyś ?

Adamm: ((x∊A ∧ x∊B) ⋁ x∊C) ∧ x∊A' ⇔ (x∊A ∧ x∊B) ∧ x∊C' (x∊A ∨ x∊C) ∧ (x∊B∨x∊C) ⋀ x∊A' ⇔ x∊A ∧ x∊B ∧ x∊C' [(x∊A ∧ x∊A')∨(x∊C∧x∊A')] ∧ (x∊B∨x∊C) ⇔ x∊A ∧ x∊B ∧ x∊C' x∊C∧ x∊A' ∧ (x∊B∨x∊C) ⇔ x∊A ∧ x∊B ∧ x∊C' x∊A' ∧ [(x∊B∧x∊C)∨x∊C] ⇔ x∊A ∧ x∊B ∧ x∊C' x∊A' ∧ x∊C ⇔ x∊A ∧ x∊B ∧ x∊C'

Sanders: Adamm, pokazałeś równość na podstawie rachunku zdań, ale nie ma tam nic o założeniach.

Adamm: nie, ale uprościło się co nieco

Sanders: No wiem, dzięki. Natomiast dalej zastanawiam się jak to ugryźć na podstawie tego co napisałeś. Może spróbuje teraz diagramem Venna na podstawie tego co rozpisałeś

Adamm: A'∩C = A∩B∩C' ale skoro A'∩C⊂A', A∩B∩C'⊂A więc A'∩C=A∩B∩C'=∅ czyli zbiór A' oraz C się wzajemnie wykluczają, zbiory A, B oraz C' się wzajemnie wykluczają

Sanders: Dzięki, przydało się na kolosie.