11.20 Number 7

Hey everyone,

I am having trouble translating sentence 7 on 11.20. This is the one where we are asked to translate “Only dodecahedra are larger than everything else”. I am unsure of how exactly to translate “only”. At first I had ∀x ∀y (Larger(x, y) → Dodec(x)), but it keeps saying it can’t determine if this is correct. If anyone has any ideas that would be great! Thanks!

1 thought on “11.20 Number 7

  1. Isabel Lickey

    Hi! I also had trouble with this one until I looked back at the example in the book “Each cube is to the left of a tetrahedron”. The book translated it as ∀x (Cube(x) → ∃y (Tet(y) ∧ LeftOf(x, y))). I modelled my translation after this and it worked!

Leave a Reply