Is the conversion of this English sentence into predicate logic correct

Question

Hi I wanted to know if I have converted this sentence into predicate logic correctly.

This is the sentence

The child of a blue bird and yellow bird is blue

This is my formula

 ∀X•(blueBird(X) ∧ yellowBird(X)) ⇒ ∀Y•(childOf(Y,X) ∧ blue(Y))

Answer 1

No, it isn't. Your first order sentence says (or would say, if it had enough parentheses): for everything $x$ that is both a blue and a yellow bird, everything $y$ is a child of $x$ and is blue.

You mean $$ \forall x\forall y[(blueBird(x)\land yellowBird(y))\to \forall z(childOf(z,x,y)\to blue(z))] $$ using the same predicates you have, but making $childOf$ three-place, as it must be in this case.