Qual é a contrapositiva logicamente equivalente de uma condicional P → Q?

Resposta

¬Q → ¬P

Explicação: A contrapositiva troca as posições de P e Q e nega ambas, preservando a equivalência lógica: \(P \rightarrow Q \equiv \neg Q \rightarrow \neg P\).
Ou seja, afirmar a condicional é equivalente a afirmar sua contrapositiva.

Exemplo:
Seja P = estuda e Q = passa.
Condicional: Se estuda, então passa.
Contrapositiva: Se não passa, então não estuda.
As duas sentenças são logicamente equivalentes.