📜  门| GATE-CS-2007 |第 85 题

📅  最后修改于: 2021-09-27 05:36:19             🧑  作者: Mango

令 Graph(x) 是一个谓词,表示 x 是一个图。令 Connected(x) 是一个谓词,表示 x 是连通的。以下哪个一阶逻辑句子不代表“不是每个图都是连通的”这个陈述?

cs200722
(一) A
(乙)
(C)
(四)答案: (D)
解释:选项A和选项C相同 G(x)–>C(x)也可以写成~G(x)或C(x),它们是正确的表示。
选项C说:存在一个图并且图不连通,相当于给定的句子。
选项 D:图形中的每个 x 不连通。

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