## Discussion Forum

Que. | 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:(∃x) (boy(x) ∧ (∀y) (girl(y) → taller(x,y))) |