p:如果a成立，则b成立p的否命题（假设和结果都否定）：如果a不成立,则b不成立非p和p的否定一样：如果a成立，则b不成立
非p，否定形式，否定：任意x1＞x2，x1^2≦x2^2否命题：任意x1≦x2，x1^2≦x2^2
