Logika ezra: Cześć! Prosiłabym o sprawdzenie następującego zadanka: A U (B n C) = (A U B) n (A U C) Zrobiłam to tak, wyszłam z lewej strony czyli: A U (B n C) i rozpisałam ją: x ∊ A U (x ∊ B n x ∊ C) 1 przypadek − x ∊ A U x ∊ B ⇒ x ∊ (A U B) ⇒ x ∊ prawej strony 2 przypadek − x ∊ A U x ∊ C ⇒ x ∊ (A U C) ⇒ x ∊ prawej strony jako że przy B n C mamy koniunkcję to z warunków numer jeden i dwa wynika, prawa strona czyli (A U B) n (A U C). Dobrze to zrobione jest?