kwan kwan: Czy kolejność zapisu kwantyfikatorów ma znaczenie?

ty fikator: czasem tak, czasem nie

PW: Dla każdej liczby naturalnej n istnieje liczb naturalna k taka, że (k > n) Istnieje liczba naturalna k, taka że dla każdej liczby naturalnej n (k > n)

kwan: make sense

PW: I don't understand

Saizou : ∀n∊N ∃k∊N k>n oznacza, że dla dowolnej liczb n mogę znaleźć k (za każdym razem może być inne), ∃n∊N ∀k∊N k>n oznacza, że istnieje jedno uniwersalne n dla wszystkich k

kwan: szkoda, że takich wyjaśnień nie podają w gloryfikowanych pozycjach dzięki (: