推理形式正确的有（）。