我遇到了一个问题，
给定以下关系模式
Student (studId, name, age, sex, deptNo, advisor)Department (deptId, DName, hod, phoneNo)以下哪项是元组关系演算查询得到没有女学生的系名？
给出的正确答案是
{d.Dname | department(d) ∧ ~ ((∃(s)) student(s) ∧ s.sex = ‘F’ ∧ s.deptNo = d.deptId)}
我对它的解释是，对于每个系，内在逻辑是试图找到至少一个来自同一系的女性学生。现在，如果它找不到一个，它返回 FALSE 并且否定将使它成为 TRUE，因此 Dname 将被打印出来。这很好。
但如果我否定逻辑，即流否定号，那么内在逻辑就变成了，
((∀s ∈ student) s.sex ≠ ‘F’ ∨ s.deptNo ≠ d.deptId)
这和上面的意思是什么意思？我无法想象。
任何帮助表示赞赏。提前致谢。