正反推理，成不成立？