教资会网络 | UGC-NET CS 2017 年 12 月 2 日 |问题 49

(一) (一)
(乙) (2)
(三) (3)
(D) (4)答案：（乙）
解释：因为逻辑说存在一些 x 其 H(x) 为真，所以对此的否定将是所有 x H(x) 不为真。我们可以这样写：

¬∃xH(x) =∀x¬H(x)

所以，选项（B）是正确的。
这个问题的测验