简答题 如果寒潮到来，气温就要明显下降。所以，如果气温没有明显下降，就是寒潮没有到来。属何种推理？请列出它们的推理形式，并说明是否正确？为什么？

【参考答案】

这是个充分条件假言易位推理，其推理形式为：（p→q）→（﹁q→﹁p）。这是个有效式。