负数的平方是正数改写成若P则Q的形式