确定以下断言的正确翻译成逻辑符号。
"Some boys in the class are taller than all the girls" 注意：如果 x 比 y 高，则 taller(x,y) 为真。
(A) (∃x) (boy(x) → (∀y) (girl(y) ∧高(x,y)))
(B) (∃x) (boy(x) ∧ (∀y) (girl(y) ∧高(x,y)))
(C) (∃x) (boy(x) → (∀y) (girl(y) → taller(x,y)))
(D) (∃x) (boy(x) ∧ (∀y) (girl(y) → taller(x,y)))答案： (D)
解释：
现在很多人对什么时候用∧和什么时候用→感到困惑。这个问题恰恰测试了这一点。
当我们想说这个语句中的两个谓词总是为真时，我们使用 ∧，无论 x 的值是什么。
当我们想说虽然左谓词不必总是为真时，我们使用→，但只要它成为真，右谓词也必须为真。
D 表示存在一些男孩 x 比所有女孩 y 都高。
这个问题的测验