含有一个量词命题的否定