Qual proposição é logicamente equivalente à condicional p → q?

A contrapositiva, ¬q → ¬p.

Toda condicional p → q é logicamente equivalente à sua contrapositiva ¬q → ¬p, pois ambas têm as mesmas valorações de verdade; intuitivamente, se p implica q, a ausência de q impede p.

Exemplo:
p: "Estudou para a prova", q: "Aprovou na prova".
Condicional: "Se estudou para a prova, então aprovou na prova."
Contrapositiva: "Se não aprovou na prova, então não estudou para a prova." — ambas são logicamente equivalentes.