predicate

Question

B(x):x is a boy

C(x):x is a chocolates

E(x,y): x eats y.

"only boy eats chocolates". write this statement using predicate calculus.

Answer 1

(C(x) and E(x,y)) -- >B(x)

means if x is chocolate and eaten by y then y is boy.

Comments

please specify the quantifiers also