Iloczyn Kartezjański, udowodnij równość zbiorów ALE: Udowodnij równość zbiorów: A × (B ∪ C) = (A × B) ∪ (A × C) Czy to trzeba robić tak? Lewa strona: x∊Ax(B∪C) x∊Ax(B∪C) x∊A⋀(x∊B)⋀(x∊C) Prawa strona: x∊AxB ⋁ x∊AxC (x∊A)⋀(x∊B)⋁(x∊A)∧(x∊C) Czy może raczej powinienem to zrobić dla (x1,x2)∊Ax(B∪C) i (x1,x2)∊AxB ⋁ (x1,x2)∊AxC skoro to iloczyn kartezjański, wtedy wyszłoby: Lewa: (x1∊A)⋀(x2∊B)⋀(x1∊C) Prawa:(x1∊A)⋀(x2∊B)⋁(x1∊A)∧(x2∊C) I potem jakoś tą prawą stronę "uprosić" do postaci z lewej?

ALE: Ops, wkradł się w błąd i w tym "kartezjańskim" przypadku w lewej na końcu powinno być x2∊C, źle przepisałem ze swoich obliczeń.