教资会网络 | UGC NET CS 2018 年 7 月 – II |问题 85
¬∃x Q(x) 等价于:
(A) ∃x ¬Q(x)
(B) ∀x ¬Q(x)
(C) ¬∃x ¬Q(x)
(D) ∀x Q(x)答案:(乙)
说明:这是否定 Quantified 的简单属性,
¬∃x Q(x) = ∀x ¬Q(x)
所以,选项(B)是正确的。
这个问题的测验
📅  最后修改于: 2022-05-13 01:57:56.394000             🧑  作者: Mango
¬∃x Q(x) 等价于:
(A) ∃x ¬Q(x)
(B) ∀x ¬Q(x)
(C) ¬∃x ¬Q(x)
(D) ∀x Q(x)答案:(乙)
说明:这是否定 Quantified 的简单属性,
¬∃x Q(x) = ∀x ¬Q(x)
所以,选项(B)是正确的。
这个问题的测验