wzory de Morgana anonim123: https://zapodaj.net/109d1400fd998.png.html Dlaczego to jest tak zapisane (na czerwono) i co się dzieje dalej?

ite: Być może nawias został przestawiony i miał być tutaj x∊(∩_y∊Y A_y)'. Mógłby ktoś to ocenić?

anonim123: Ale tam jest nawias tylko częściowo zasłonięty na czerwono prze ze mnie nie rozumie co znajduję się w nawiasie?

ite: Widzę, że jest zasłonięty, ale nie zgadza mi się jego położenie. element x należy do dopełnienia iloczynu rodziny zbiorów A_y ← pierwszy zapis jest to równoważne temu, że element x nie należy do iloczynu rodziny zbiorów A_y ← drugi

ite: powinnam napisać precyzyjniej nieprawda, że element x należy do iloczynu rodziny zbiorów A_y ← ten drugi zapis po znaku równoważności

anonim123: a co się dzieje po drugim znaku dlatego i tylko wtedy?

anonim123: https://zapodaj.net/3361d2e74cc6f.png.html w czarnym obramowaniu?

ite: W zapisie: nieprawda, że element x należy do iloczynu rodziny zbiorów A_y zostaje wykorzystana definicja iloczynu rodziny zbiorów A_y z pktu 1.3.9 w linku, który podałaś we wcześniejszym wątku iloczynu rodziny zbiorów A_y https://zapodaj.net/2ee7e36d0fa33.jpg.html .

ite: W następnym przekształceniu zostaje wykorzystane jedno z praw de Morgana dla kwantyfikatorów: drugie od dołu w linku http://matematykadlastudenta.pl/strona/756.html

ite: Następnie autor korzysta z własności, która mówi, że jeśli element x nie należy do zbioru, to należy do jego dopełnienia. I dla dopełnień zostaje wykorzystane prawo 1.3.8 z linku podanego 20:35 (ten zapis jest ucięty na matematyka.pl). I to jest już koniec wykazywania, ponieważ otrzymuje się sumę dopełnień, uff!

anonim123: Dziękuję