Qual é a contrapositiva de uma implicação p → q e qual é sua relação lógica com a implicação original?

¬q → ¬p, elas são logicamente equivalentes.

Explicação:
Para obter a contrapositiva, negue o consequente e o antecedente e troque a ordem, a contrapositiva terá sempre os mesmos valores de verdade da implicação original em todas as situações possíveis.

Exemplo:
Original: Se chove, então a rua fica molhada.
Contrapositiva: Se a rua não fica molhada, então não chove.
As duas sentenças são equivalentes logicamente, não há caso em que uma seja verdadeira e a outra falsa.