problem: why the following is not good translation into logicals

[eliz]

Hi everyone,I have a question would you please explain why the following is not good translation of the sentence every teenager who owns a Ferrari races it(∀x)(Ǝy)((T(x) ˄ F(y) ˄ O(x,y)) →R(x,y))
assume O(x,y) means x owns y

 

[stapel]

Hi everyone,I have a question:

Would you please explain why the following is not good translation of the sentence, "Every teenager who owns a Ferrari races it."

(∀x)(Ǝy)((T(x) ˄ F(y) ˄ O(x,y)) →R(x,y))

assume O(x,y) means x owns y

For what does "x" stand? For what does "y" stand? What are the definitions of the "T", "F", and "R" operators? On what basis have you concluded that the "translation" is not "good"?

Please be complete. Thank you!