computer-science - DBMS 中的存在量词和通用量词

Question

我了解它们是什么，并且我已经看到了有关这些的示例。一个这样的例子是

{t.Fname,t.Lname|Employee(t) AND (∃d)(Department(d) AND d.Dname='Research' AND d.Dnumber=t.Dno)}

现在上面和这个有什么区别

{t.Fname,t.Lname|Employee(t) AND Department(d) AND d.Dname='Research' AND d.Dnumber=t.Dno}

怎么样

(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))

有人可以解释一下吗？

Answer 1

对于每个 x P(x) 意味着所有 x 满足 P，这意味着不存在不满足 P 的 x，因此

(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))