国际空间研究组织 | ISRO CS 2007 |问题 32

确定以下断言的逻辑符号的正确翻译。

班上有些男孩比所有女孩都高

注意：如果 x 比 y 高，则 taller (x, y) 为真。
(A) (∃x)(男孩(x) → (∀y)(女孩(y) ∧ 更高(x, y)))
(B) (∃x)(男孩(x) ∧ (∀y)(女孩(y) ∧ 更高(x, y)))
(C) (∃x)(男孩(x) → (∀y)(女孩(y) → 更高(x, y)))
(D) (∃x)(男孩(x) ∧ (∀y)(女孩(y) → 更高(x, y)))答案： (D)
说明：参考：GATE-CS-2004 |问题 23

选项（D）是正确的。
这个问题的测验