A
BoMbA: Proszę o sprawdzenie i ewentualne dopowiedzenie:
Czy mój rok rozumowania jest poprawny?
Udowodnij, że:
f[A∩B]= f[A]∩f[B]
y∊ f [A∩B] ⇔x∊A ∧ x∊ B ⋀ ( ∃x X1 ∊A i f(x1)= B) ∧ (X1 ∊ A ⋀ X1 ∊ B ⋀ f(x)= y) ⇔ ∃x X1 ∊ A ⋀B
⇔f[ A∩B]
8 mar 11:57
Adamm:
f[A∩B] = {f(x) : x∊A∩B}
f[A]∩f[B] = {f(x): x∊A ∧ x∊B}
I co tu dowodzić?
8 mar 14:03
Adamm:
Dosłownie przed chwilą sprawdziłem że tak nie jest, a napisałem że tak jest. Dziwne
f[{1}∩{2}] = ∅
f[{1}]∩f[{2}] = {1}, f(1)=f(2)=1
8 mar 14:05