Czy ten dowód jest dobrze zrobiony? Andrzej: A\(B∪C)=(A\B)∩(A\C) dla każdego x∊X: x∊(A\(B∪C))⇔x∊(A\B)∩(A\C) x∊(A\B)∩(A\C)⇔ x∊(A\B)∩x∊(A\C)⇔ (x∊A∩~x∊B)∩(x∊A∩~x∊C)⇔ (x∊A∩x∊A)∩(~x∊B∩~x∊C)⇔ x∊A∩~x∊(B∪C)⇔ A\(B∪C) c.n.d.

Saizou : Nie jest dobrze,bo powinny być spójniki i a nie iloczyny pomiędzy zdaniami x∊ (A\B) ∩ (A\C) ⇔ x ∊ A\B ∧ x∊ A\C ⇔ (x ∊ A ∧ ~x∊B) ∧ (x∊A ∧ ~x∊C) ⇔ (korzystamy z prawa: p∧p ↔ p) x ∊ A ∧ (~x∊B ∧ ~x∊ C) ⇔ (prawo De Morgana ) x ∊ A ∧ ~(x∊B ∨ x∊C) ⇔ x ∊ A ∧ ~x∊(B ∪ C) ⇔ x ∊ A \ (B ∪ C)

Andrzej: Tak tylko źle zapisałem sorry