二运用有效的推理形式