Funkcje. Dowód.
Pies: Udowodnij, że dla każdej funkcji f∊Yx i dowolnego zbioru A⊆X zachodzi A⊆¬(f−1)((¬f)(A)).
10 gru 20:44
jc: Co oznacza symbol (¬f) ?
10 gru 21:02
Pies: Negację. U mnie jest to zapisane jako kreska nad f−1 i druga kreska nad f przy f(A).
10 gru 21:27
jc: Czym jest negacja funkcji?
10 gru 23:43