运用有效的推理形式1