Uma afirmação logicamente equivalente à afirmação: “Se as mariposas só voam à noite, então o sol me livra delas”, é:

As mariposas só voam à noite e o sol não me livra delas.

As mariposas não voam só a noite ou o sol me livra delas.

Se o sol me livra delas, então as mariposas só voam à noite.

As mariposas não voam só à noite e o sol me livra delas.

As mariposas só voam à noite ou o sol me livra delas.