原命题是‘下雨 → 不出门’，其逆否命题是‘出门 → 没有下雨’。既然今天出门了，可以推出今天没有下雨。这是演绎推理的一种应用。