必要条件推理规则