从有效的条件到有效的推理