Is My Translation of a Formal Logic Statement Correct?

[jgens]

Homework Statement

Translate $\forall x (Nx \rightarrow Ix \rightarrow \neg \forall y (Ny \rightarrow Iy \rightarrow \neg x<y))$ into English where N translates to "is a number", I translates to "is interesting" and "<" translates to is less than.

Homework Equations

N/A

The Attempt at a Solution

My attempt at a translation was: "For all x, if x is a number, then (if x is interesting there exist y s.t. if y is number, then (y is interesting implies x<y))." From this I got: "Given any interesting number, there is another interesting number less than it." But I am not sure if this is correct. Can anyone help?

Thanks!

 

[mighty2000]

Your translation is close, but there are a few small errors. The correct translation is: "For all x, if x is a number, then (if x is interesting, there exists a y such that if y is a number and y is interesting, then x is not less than y)." This translates to: "For every number, if it is interesting, there is another interesting number that is not less than it." This means that there is always another interesting number that is equal to or greater than the given number. Hope this helps!