Entre as equivalências lógicas, assinale a alternativa que apresenta corretamente a contrapositiva associada à premissa “Se a dragagem do canal for concluída, então navios de maior

“A dragagem do canal foi concluída e navios de maior calado não poderão atracar”.

“A dragagem do canal não foi concluída ou navios de maior calado poderão atracar”.

“Se navios de maior calado poderão atracar, então a dragagem do canal foi concluída”.

“Se a dragagem do canal não for concluída, então navios de maior calado não poderão atracar”.

“Se navios de maior calado não poderão atracar, então a dragagem do canal não foi concluída”.