Do ponto de vista lógico, dizer: “se os rios correm para baixo, então a chuva não alaga a montanha”, é equivalente a dizer

“se a chuva não alaga a montanha, então os rios não correm para baixo”.

“a chuva não alaga a montanha ou os rios não correm para baixo”.

“a chuva alaga a montanha e os rios não correm para baixo”.

“se a chuva alaga a montanha, então os rios correm para baixo”.

“se os rios não correm para baixo, então a chuva alaga a montanha”.