# Homework Help: Translating a Formal Language

1. Dec 4, 2011

### jgens

1. The problem statement, all variables and given/known data

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.

2. Relevant equations

N/A

3. 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!