Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Translating a Formal Language

  1. Dec 4, 2011 #1


    User Avatar
    Gold Member

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

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

    2. Relevant equations


    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?

  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?