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