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 calado poderão atracar”.