∃t∈r(⌝ P(t))--means that there are some tuples in relation r which do not satisfy the constraint P(t)
and if we put not before this statement we get there are no tuples in relation r which do not satisfy the constraint P(t) which is equivalent to saying all tuples in relation r satify predicate condition P(t)