ko
kotek: Dane są zbiory A, B, C. Udowodnij metodą rachunku zdań równość:
A \ (B ∪ C) = (A \ B) ∩ (A \ C).
22 lut 19:35
Janek191:
x ∊ A \ ( B ∪ C ) ⇔ x ∊ A ∧ x ∉ B ∪ C ⇔ (x ∊ A ∧ x ∉ B ) ∧ (x ∊ A ∧ x ∉ C ) ⇔
⇔ x ∊ A \ B ∧ x ∊ A \ C ⇔ x ∊ ( A \ B) ∩ ( A \ C)
22 lut 20:38