Identify the correct translation into logical notation of the following assertion. "Some boys in the class are taller than all the girls"
- A. (Ex) (boy(x) -> (Vy) (girl(y) ^ taller(x,y)))
- B. (Ex) (boy(x) ^ (Vy) (girl(y) ^ taller(x,y)))
- C. (Ex) (boy(x) -> (Vy) (girl(y) -> taller(x,y)))
- D. (Ex) (boy(x) ^ (Vy) (girl(y) -> taller(x,y)))
Answer: D. (Ex) (boy(x) ^ (Vy) (girl(y) -> taller(x,y)))
Explanation: There exists an x such that x is a boy AND for all y, if y is a girl, x is taller than y.