大门|大门-CS-2004 |问题23

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

"Some boys in the class are taller than all the girls" 

注：如果x比y高，则“更高”（x，y）为真。

（A） (∃x） （男孩（x）→ (∀y） （女孩（y）∧ 高一点（y） （B） (∃x） （男孩（x）∧ (∀y） （女孩（y）∧ 更高（x，y））） （C） (∃x） （男孩（x）→ (∀y） （女孩（y）→ 更高（x，y））） （D） (∃x） （男孩（x）∧ (∀y） （女孩（y）→ 更高（x，y））） 答复: （D） 说明： 现在很多人都不知道什么时候使用∧ 什么时候使用→. 这个问题正好验证了这一点。

我们使用∧ 当我们想说，无论x的值是多少，这个语句中的两个谓词都是真的。 我们使用→ 当我们想说，虽然左谓词不一定总是真的，但当它变为真时，右谓词也必须是真的。

D表示存在一些男孩x比所有女孩y都高。

这个问题的小测验