展开 或且在否定命题转换