2.假设的命题成不成立，是逻辑推理的研究目标