Kwantyfikatory Machine: Witam, Interesuje mnie taka techniczna sprawa, czy w jednym z kwantyfikatorów możemy się odnosić do zmiennej z drugiego, tzn czy taki zapis byłby poprawny? ∃_n∀_{k ≥ n}(A(k))

Nienor: Tak, ale chyba to powinno wyglądać tak: ∃n∊ℕ, ∀k≥n:A(k) Czyta się: istnieje takie n należące do naturanych, że dla każdego k większego lub równego n spełniony jest warunek A od k. Istnieją zdania logiczne zawierające więcej niż dwa kwantyfikatory, np. Definicja granicy ciągu wg Cauchy'ego, choć mówi się, że normalny człowiek nie jest w stanie zrozumieć zdania zawierającego więcej niż dwa kwantyfikatory

Artur_z_miasta_Neptuna: tak ... taki zapis jest poprawny

aniabb: tak, i czytamy to : istnieje takie n że dla każdego k≥n A(k)

Machine: Dziękuję