标识正确的转换为以下断言的逻辑符号。
"Some boys in the class are taller than all the girls" 注意：如果x比y高，taller(x，y)为true。
(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)
解释：
现在，许多人在何时使用∧和何时使用→时感到困惑。这个问题恰恰测试了这一点。
当我们想说此语句中的两个谓词始终为true时，无论x的值是多少，我们都使用∧。
当我们想说尽管左谓词不必始终为真，但只要它变为真，右谓词也必须为真时，便使用→。
D表示存在一些男孩x比所有女孩y高。
这个问题的测验