(A) (1) (B) (2) (C) (3) (D) (4) 答复: (B) 说明: 因斯逻辑说,存在一些x,其中H(x)为真,所以对所有x的否定,H(x)不是真的。我们可以这样写:
null
¬∃xH(x) =∀x¬H(x)
因此,选项(B)是正确的。 这个问题的小测验
© 版权声明
文章版权归作者所有,未经允许请勿转载。
THE END
(A) (1) (B) (2) (C) (3) (D) (4) 答复: (B) 说明: 因斯逻辑说,存在一些x,其中H(x)为真,所以对所有x的否定,H(x)不是真的。我们可以这样写:
¬∃xH(x) =∀x¬H(x)
因此,选项(B)是正确的。 这个问题的小测验