负数的立方是负数改写为“若P则Q”的形式