Identify the correct translation into logical notation of the following…
2007
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)))
Attempted by 24 students.
Show answer & explanation
Correct answer: D
The assertion says that at least one boy has the property that he is taller than every girl. That is represented as there exists x such that boy(x) and for every y, if girl(y), then taller(x, y).