如果天上下雨,则地面潮湿,今天地面潮湿,所以天上在下雨.这就话对不对,它的推理逻辑形式是什么?