Logika - zbiory Baśka: Pokaż, że dla dowolnych A, B, C, D: a) A⊆B∧B⊆C→A⊆C b) A⊆C∧B⊆C→A∪B⊆C c) A⊆B∧C⊆D→A∪C⊆B∪D

Jack: c) załozenia: x∊A → x∊B (*) x∊C → x∊D (**) oraz x∊ A∪C Musimy pokazać, że x∊ B∪D dowód: Teraz, x∊ A∪C ⇒ x∊A ⋁ x∊C 1. Niech x∊A. Z (*) mamy, że x∊B. A także, x∊B∪D (bo B⊂B∪D). 2. Niech x∊C. Z (**) mamy, że x∊D. To prowadzi do tego, że x∊B∪D (bo B⊂B∪D). Podobnie spróbuj pierwsze 2 przykłady.