Wykaż, że prawdziwa jest implikacja joker: Wykaż, że dla dowolnych zbiorów A,B,C prawdziwa jest implikacja: ((A ⊂ C) ⋀ (B ⊂ C)) ⇒ ((A ∪ B) ⊂ C) Bardzo proszę o pomoc, w jaki sposób powinienem przeprowadzić taki dowód.

ite: 1/ Zapisz podaną zależność np. tak: [(x∊A ⇒ x∊C) ∧ (x∊B ⇒ x∊C)] ⇒ [(x∊A ∨ x∊B) ⇒ x∊C] 2/ Jeśli znasz prawo dodawania implikacji, to wykorzystaj (i to wystarczy) 3/ Jeśli nie, to skorzystaj z prawa zastępowania implikacji dla poprzednika: [(∼(x∊A) ∨ x∊C) ∧ (∼(x∊B) ∨ x∊C)] i zastosuj prawo rozdzielności alternatywy względem koniunkcji ≡ [(∼(x∊A) ∧ ∼(x∊B)) ∨ x∊C)] prawa de Morgana ≡ [(∼(x∊A ∨ x∊B) ∨ x∊C)] znowu prawo zastępowania implikacji ≡ [(x∊A ∨ x∊B) ⇒ x∊C)]

joker: Dziękuję bardzo za pomoc ite : ) Miłego wieczoru