门| GATE CS Mock 2018 |问题 11

让 apple(x) 成为 x 是苹果的谓词。令green(x) 为x 的颜色为绿色的谓词。以下哪个陈述不代表给定的陈述?
“不是每个苹果都是绿色的”
(一) A
(乙)乙
(C)丙
(四)丁答案： (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 是正确选项。
这个问题的测验