Q23

MCQ1 mark, −0.25

Identify the correct translation into logical notation of the following assertion. Some boys in the class are taller than all the girls Note: $\text{taller} (x, y)$ is true if $x$ is taller than $y$ .

(A)

$(\exists x) (\text{boy}(x) \rightarrow (\forall y) (\text{girl}(y) \land \text{taller}(x, y)))$

(B)

$(\exists x) (\text{boy}(x) \land (\forall y) (\text{girl}(y) \land \text{taller}(x, y)))$

(C)

$(\exists x) (\text{boy}(x) \rightarrow (\forall y) (\text{girl}(y) \rightarrow \text{taller}(x, y)))$

(D)

$(\exists x) (\text{boy}(x) \land (\forall y) (\text{girl}(y) \rightarrow \text{taller}(x, y)))$

Loading…