??? Mamutatumam: Czy mam to dobrze? 1. A\ (BxC)= (A\B) x ( A\C) x∊A ∧ ¬ ( x∊B ⋁ x∊C)= (x∊A⋀ ¬ x∊C) v ( X∊ A ∧ ¬ x∊ C) = ( A\B) x ( A\C) 2. A x ( B∪C)= ( AxB) ∪ ( AxC) X∊A v ( x∊ B ⋁ x∊ C) = ( x∊A ⋁ x∊B) ⋁ ( x∊ A v x∊C)= x∊( AxB) v x∊( AxC)= ( AxB) ∪ (AxC)

ite: (x∊B⋁x∊C) ⇔ x∊BUC Jeśli zapis BxC oznacza iloczyn kartezjański, to źle.

Mamutatumam: Tak, oznacza. To jak to powinno być?

iteRacj@: 2/ jest wykazane tutaj 386441 1/ Nie jest prawdziwe dla dowlnych zbiorów A, B, C. Jeżeli zbiory A,B,C≠∅ i np. A nie jest zbiorem par, to A\(BxC)=A. A prawa strona to zbiór par, więc są różne.