Formalny dowód zawierania się i części wspólnej trzech zbiorów
Ben: Udowodnij formalnie:
A ⊂ B i A ⊂ C ⇒ A ⊂ B ∩ C
1 mar 18:47
Basia:
A⊂B ∧ A⊂C ⇔ [ x∊A ⇒ x∊B ] ∧ [ x∊A ⇒ x∊C ] ⇔ [ x∊A ⇒ (x∊B ∧ x∊C) ] ⇔ [ x∊A ⇒ x∊(B∩C) ] ⇔
A⊂(B∩C)
1 mar 18:58
Ben: Dziękuję.
1 mar 19:04
111:
25 paź 12:17
111: δ≤
25 paź 12:17
111: udowodnij
A⊆B⇒A∪C⊆B∪C
25 paź 12:19