Zaneguj wyrażenie bez użycia symbolu negacji. nielogiczny: Witam Zgłaszam się z problemem z w rachunku kwantyfikatorów. Mianowicie zrobiłem pewien przykład, ale nie wydaje mi się żeby był zrobiony dobrze, dlatego proszę was o pomoc. Zaneguj wyrażenie bez użycia symbolu negacji. (∀_x ∊ R) (∃_n ∊ N) x<n Korzystając z negacji kwantyfikatora ogólnego i egzystencjalnego i negując wyrażenie x<n, wyszło mi że: (∃_x ∊ ∅) (∀_n ∊ R\N) x≥n Wygląda to dla mnie bezsensownie, ale nie widzę swojego błędu więc proszę was o pomoc

Dżej: Przy zmianach pozosrają liczby ℛ i N, Czyli będzie to tak wyglądało: (∃_x∊ℛ)(∀_n∊N) x≥n