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

Contrapositiva: ¬q → ¬p. É logicamente equivalente a p → q.

Uma condicional p → q é equivalente à sua contrapositiva porque se nega ambas as partes e inverte a ordem.

exemplo: seja p = "estudar" e q = "passar no exame".
p → q: Se estudar, então passará no exame.
Contrapositiva: Se não passar no exame, então não estudou.
Symbolicamente: \(p \to q \equiv \neg q \to \neg p\).