Algebra zbiorow Anna C: Dowiesc, ze dla wszelkich zbiorow A, B, C, D zachodzi rownosc: A\[B\(C\D)] = (A\B)∪[(A∩C)\D] Korzystajac z def. rownosci zbiorow oraz def. dzialan na zbiorach wystarczy pokazac, ze: x∊A∧[x∉B∧(x∊C∧x∉D)] ⇔ (x∊A∧x∉B)∨[(x∊A∧x∊C)∧x∉D] p: x∊A, q: x∉B, r: x∊C, s: x∉D Wprowadzajac powyzsze oznaczenia wystarczy pokazac, ze jest tautologia nastepujacy schemat zdaniowy: p∧[q∧(r∧s)] ⇔ (p∧q)∨[(p∧r)∧s] Ale to nie jest tautologia...gdzie popelniam blad?

Anna C: .

Anna C: Prosze, moze mi ktos pomoc?

Anna C: ?

Anna C: Bardzo prosze o pomoc, bo nie moge doszukac sie bledu...moze po prostu jest tu blad w tresci zadania...

Anna C: Czy nikt nie wie, jaki blad popelnilam?