prawo Robert : Udowodnij prawo: Ax(B∪C) = (A x B) ∪ (A x C)

iteRacj@: iloczyn kartezjański zbiorów A i B zapisuję tak: AXB (x,y)∊ (AXB)∪(AXC) ⇔(x,y)∊AXB ∨ (x,y)∊AXC ⇔ (x∊A∧y∊B)∨(x∊A∧y∊C) ⇔ x∊A∧(y∊B∨y∊C) ⇔ ⇔ x∊A∧(y∊B∪C) ⇔(x,y)∊AX(B∪C)