Hello! I got one problem.

Let H(x) means x is happy and let the universe be the set of people.

I need to translate "If every one is happy, then Tom is happy" with universal and/or existential quantifier.

I do it like:

(for every x) ( H(x) -> H(Tom) ).

But why it is wrong?

Also I believe (in this case) that it is same like saying:

(for every x) (H(x)) -> H(Tom).

Thanks in advance.

Regards.