有两种类型的否定