FIRST ORDER LOGIC: GATE CS/IT [2004]
Identify the correct translation into logical notation of the following assertion.
Some boys in the class are taller than all the girls
Note: taller (x, y) is true if x is taller than y.
A. (∃x)(boy(x) → (∀y)(girl(y) ∧ taller(x, y)))
B. (∃x)(boy(x) ∧ (∀y)(girl(y) ∧ taller(x, y)))
C. (∃x)(boy(x) → (∀y)(girl(y) → taller(x, y)))
D. (∃x)(boy(x) ∧ (∀y)(girl(y) → taller(x, y)))
