门| GATE CS Mock 2018年|问题11

令apple(x)为x是苹果的谓词。令green(x)为x的颜色为绿色的谓词。以下哪个语句不代表给定的语句?
“不是每个苹果都是绿色的”
(A) A
(B) B
(C) C
(D) D答案： (D)
说明： A. $\neg \forall x(apple(x) \rightarrow green(x))$ –否定“所有苹果都是绿色的” =并非所有苹果都是绿色的
B． $\exists x(apple(x) \wedge \neg green(x))$ –存在一个不是绿色的苹果。
C。 $\neg \forall x(\neg apple(x) \vee green(x))$ –与选项A相同，含义已扩展。
D． $\forall x(apple(x) \rightarrow \neg green(x))$ –所有的苹果都不是绿色的。
因此，D是正确的选择。
这个问题的测验