Udowodnij poniższe twierdzenia
safdsav: A \ ( B ∪ C ) = (A \ B) \ C
Czy dobrze to zrobiłem?
x ∊ A ⋀ ~ ( x ∊ B v x ∊ C)
x ∊ A ⋀ ( x ∉ B v x ∉ C)
x ∊ (A \ B) ⋀ x ∉ C
(A \ B ) \ C
4 gru 18:47
Adamm: ¬(x∊B∨x∊C) ⇔ x∉B ∧ x∉C
4 gru 18:48
safdsav: czyli tylko to: ( x ∉ B v x ∉ C) źle zapisałem?
4 gru 18:50
rejnold: ¬(x∊B∨x∊C) ⇔ ¬(x∊B) ∧ ¬(x∊C)
4 gru 19:43
Adamm: x∊A ∧ x∉B ∧ x∉C
(x∊A ∧ x∉B) ∧ x∉C
x∊(A\B) ∧ x∉C
x∊(A\B)\C
4 gru 19:45
rejnold: Jeśli 'coś' nie należy do tego czegoś, to to 'coś' należy do dopełnienia tego czegoś.
4 gru 19:48
Adamm: rejnold, do mnie mówisz?
bo nie wiem co to ma do rzeczy, i komu to jest potrzebne
4 gru 19:50
rejnold: Adamm, nie do Ciebie, do safdsav.
4 gru 19:51
rejnold: x∉C <=> x ∊ C'
4 gru 19:51
rejnold: A ∩ C' <=> A\C
4 gru 19:53