Czy w tym zadaniu k mogą być rózne? Alikiii: Czy w tym zadaniu k są różne czy takie same? Niech p₀,p₁,.... bedą zmiennymi logicznymi takimi, że ∀n∊N ∃ k≥n : p_n ⇒ p_k oraz ∀ n∊N ∃k≥n: p_n ⇒ ∼p_k.

Blee: Oczywiscie ze rozne

Adamm: to nie jest zadanie

Alkiii: To jest tylko częśc zadania. Podać dalszą tresc? Jedynie chciałam wiedziec czy k moga być rózne? czy to to samo k

Blee: Oczywiscie ze mog ... gdyby mialyby byc takie same to bys mial zapisane to bez uzycia drugiej lary kwantyfikatorow.

Blee: pary*

Alkiii: tak mi tez sie wydawało. Dziękuję pięknie za odpowiedź