Zbiory indeksowane
Olis: Jak wykazac ze X\ ∩Ft = ∪ (X\Ft) , gdzie ∩ i ∪ sa po t ∊T
2 gru 10:03
jc: x ∊ X\ ∩ Tt ⇔ x ∊ X i x ~ ∩ Tt
⇔ x ∊ X i x ~ ∀t x∊ Tt
⇔ x ∊ X i x ∃ t ~x∊ Tt
⇔ Et (x∊X i ~ x ∊ Tt)
⇔ Et x ∊ A\Tt
⇔ x ∊∪(X\Tt)
Oj, użyłem litry T zamiast F, sam zamień.
2 gru 10:35
Olis: Dziekuje pieknie
2 gru 10:44