Zbiory Isia: Udowodnij, że dla dowolnych zbiorów prawdziwe są twierdzenia: (∩At) x B = ∩ (At x B) Czy taki dowód jest poprawnie przeprowadzony? <x,y>∊(∩At)xB⇔ (x∊∩At) ∧ y∊B ⇔ ∀(x∊At) ∧ (y∊B) ⇔ ∀<x,y> ∊ (At x B) ⇔ ∩ <x,y> ∊ (At x B) Bardzo prosze o sprawdzenie