A proposição
“Se está chovendo, então eu uso guarda-chuva”.
é logicamente equivalente à
“Não está chovendo ou eu uso guarda-chuva”.
“Não está chovendo e eu uso guarda-chuva”.
“Está chovendo e eu não uso guarda-chuva”.
“Se eu uso guarda-chuva, então está chovendo”.
“Se eu não uso guarda-chuva, então está chovendo”.