Q. 47 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)))
Answer: (D)
Explanation:
