Inkluzja miedzy zbiorami...

bartek1965 · Post autor: **bartek1965** » 8 lut 2007, o 16:33

Udowodnic:

\(\displaystyle{ \bigcup_{t T} \bigcap_{s S}A_{s,t} \bigcap_{s S} \bigcup_{t T}A_{s,t}}\)

Edit: Poprawilem

darthez · Post autor: **darthez** » 9 lut 2007, o 00:46

Czy aby wszystkie indeksy są w takiej kolejności, w jakiej być powinny?

mospin · Post autor: **mospin** » 9 lut 2007, o 13:30

\(\displaystyle{ x\in \bigcup_{t T} \bigcap_{s\in S}A_{s,t} \exists_{t_{0}\in T} \forall_{s\in S}\ x\in A_{s,t_{0}} \forall_{s\in S} \exists_{t_{0}\in T}\ x\in A_{s,t_{0}} x\in \bigcap_{s S} \bigcup_{t T}A_{s,t}}\)

bartek1965 · Post autor: **bartek1965** » 10 lut 2007, o 13:41

A jeszcze takie pytanie: skad to wynikanie skoro kwanfikatory sa nieprzemienne?

mospin · Post autor: **mospin** » 10 lut 2007, o 14:18

jest prawo działania na kwantyfikatorach które mówi że w tą stronę można je zamienić bo jeśli istnieje jeden dobry dla wszystkich to dla każdego z osobna ten jeden będzie na pewno dobryw drugą stronę tego nie można zrobić niestety ja to sobie zapamiętałem tak że jeśli jest jeden garnitur dobry na całą grupę facetów to dla każdego z tych facetów istnieje co najmniej jeden dobry garnitur ale jeśli dla każdego faceta istnieje co najmniej jeden garnitur to wcela nie oznacza że jeden i ten sam musi być dobry na wszystkich jeśli bardzo tego potrzebujesz to postaram się na tygodniu poszukać dowodu tego prawa

bartek1965 · Post autor: **bartek1965** » 10 lut 2007, o 14:27

Dzieki, dowod raczej niepotrzebny