一个集合的否命题是什么?是它的补集么还是什么?