Qual é a contrapositiva de p → q e por que ela é logicamente equivalente?

¬q → ¬p

Por que: p → q é falsa apenas quando p é verdadeira e q é falsa; portanto, sempre que ¬q ocorre, não pode ocorrer p, tornando ¬q → ¬p com os mesmos valores de verdade de p → q.

Exemplo:
p: "Há fumaça"
q: "Há fogo"
Original: "Se há fumaça, então há fogo" (p → q).
Contrapositiva: "Se não há fogo, então não há fumaça" (¬q → ¬p).
Ambas as sentenças coincidem em todos os casos possíveis de verdade, logo são logicamente equivalentes.