# English to Predicate Logic (Imply and AND)

The question is:

If Bob is happy, then all his friends are happy

My attempt looks like:

$happy(bob) \Rightarrow (\forall x(friend(x, bob) \wedge happy(x)))$

$happy(bob) \Rightarrow (\forall x(friend(x, bob) \color{red}{\Rightarrow} happy(x)))$

So is my answer acceptable too? If not why?

-

If Bob is happy, then { for all $x$: $x$ is friends with Bob and $x$ is happy }
If Bob is happy, then { for all $x$: if $x$ is Bob's friend then $x$ is happy }