Qual é a contrapositiva logicamente equivalente de A → B?

¬B → ¬A

Explicação:
A contrapositiva de A → B é ¬B → ¬A, e sempre tem o mesmo valor lógico que a condicional original.

Exemplo:
Considere p = "estudo" e q = "passo no exame".
Original: "Se estudo, então passo no exame." (p → q).
Contrapositiva: "Se não passo no exame, então não estudei." (¬q → ¬p), que é logicamente equivalente à afirmativa original.