归纳法推理,有效性判断,前提,普遍性,反例,逻辑性