📌  相关文章
📜  门| GATE-CS-2007 |第85章

📅  最后修改于: 2021-06-29 21:02:41             🧑  作者: Mango

令Graph(x)为谓词，表示x是图。令Connected(x)为谓词，表示x已连接。下列哪个一阶逻辑语句不代表以下语句：“并非每个图都已连接”?

cs200722
(A) A
(B) B
(C) C
(D) D答案： (D)
说明：选项A和选项C相同G(x)–> C(x)也可以写为〜G(x)或C(x)，它们是正确的表示形式。
选项C说：存在一个图，并且图没有连接，这等效于给定的句子。
选项D：每个x的图形都未连接。

选项D是正确的选择这个问题的测验