how to convert from english to predicate logic

Question

I need help converting this sentence to predicate logic: 'Every boy who loves all girls does not love every boy'

Answer 1

B is the set of all boys

G is the set of all girls

L(x, y) is read as "x likes y"

The statement will be:

$\forall x\in B(\forall y\in G:L(x, y)\implies\neg\forall z\in B:L(x, z))$

Or equivalently:

$\forall x\in B(\forall y\in G:L(x, y)\implies\exists z\in B:\neg L(x, z))$