Identify the correct translation into logical notation of the following assertion. Someboysin the classaretaller than all the girls Note: taller(x,y) is true if x is taller than y.

A

$$(\exists x) (boy(x) \rightarrow (\forall x ) (girl( \gamma ) \wedge taller (x \gamma)))$$

B

$$(\exists x) (boy(x) \wedge (\forall \gamma ) (girl( \gamma ) \wedge taller (x \gamma)))$$

C

$$(\exists x) (boy(x) \rightarrow (\forall x ) (girl( \gamma ) \rightarrow taller (x \gamma)))$$

D

$$(\exists x) (boy(x) \wedge (\forall \gamma ) (girl( \gamma ) \rightarrow taller (x \gamma)))$$