od Him » 14. 9. 2009 23:27
Myshaak píše:vezmu si libovolny prvek x z F s pruhem, (X v b) je urcite >= x, cili prvek (x v b) je v F s pruhem, tedy (z definice G) x je v G
Mne se to nezda, ta definice G je G = { x | x v b \in \bar{F}}. Tudiz to zduvodneni vyse nezabere, protoze neberu libovolny prvek x, ale libovolny prvek x v b a pak uz se to hrouti, protoze definice vlastnosti u filtru jsou pouze implikace.
[quote="Myshaak"]vezmu si libovolny prvek x z F s pruhem, (X v b) je urcite >= x, cili prvek (x v b) je v F s pruhem, tedy (z definice G) x je v G ;)[/quote]
Mne se to nezda, ta definice G je G = { x | x v b \in \bar{F}}. Tudiz to zduvodneni vyse nezabere, protoze neberu libovolny prvek x, ale libovolny prvek x v b a pak uz se to hrouti, protoze definice vlastnosti u filtru jsou pouze implikace.