如果A那么若B则C的推理形式