dowod prawa de morgana dla roznicy zbiorow wil: Sprawdzi ktos? A \ (B∩C) = (A \ B) ∪ (A \ C), wezmy dowolny x L: x∊A ⋀ ~(x∊B ⋀ x∊C) ⇔ x∊A ⋀ [~(x∊B) ⋁ ~(x∊C)] ⇔ [x∊A ⋀ ~(x∊B)] ⋁ [x∊A ⋀ ~(x∊C)] = P Dobrze?

wil: ?

wil: nikt?

Krzysiek: ok

wil: dzieki