Tożsamości rachunku zbiorów. Logika Kams: Witam i proszę o pomoc, nie wiem co dalej .. Polecenie: Sprawdzić, czy poniższe równości są tożsamościami rachunku zbiorów. Uzasadnij odpowiedzi. A \ (B ∪ C) = (A \ B) \ C A \ (B ∪ C) <=> x∊A ∧ (x∉B ∨ x∉C) <=> (x∊A ∧ x∉B) ∨ (x∊A ∧ x∉C) <=> ? ? ?

kochanus_niepospolitus: I teraz rozpisz prawą stronę

Kams: (A \ B) \ C <=> (x∊A ∧ x∉B) ∧ x∉C co teraz?

Kams: Okej, już sobie poradziłem . Dzięki za odpowiedź.