大门|大门-CS-2007 |问题85

设图（x）是一个谓词，表示x是一个图。设Connected（x）是一个谓词，表示x是连通的。以下哪一个一阶逻辑句子不代表“并非每个图形都是连通的”这句话？

（A） A. （B） B （C） C （D） D 答复: （D） 说明： 选项A和选项C是相同的G（x）–>C（x）也可以写成~G（x）或C（x），它们是正确的表示形式。 选项C表示：存在一个图，而图是不连通的，这相当于给定的句子。 选项D：图形中的每个x都没有连接。

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