Qual é a contrapositiva de uma condicional P → Q?

¬Q → ¬P

A contrapositiva de P → Q é obtida negando ambas as proposições e invertendo a ordem, resultando em ¬Q → ¬P, e essa forma é logicamente equivalente à condicional original, preservando seu valor de verdade.

Exemplo:
"Se há fogo, então há fumaça" (P → Q)
A contrapositiva é "Se não há fumaça, então não há fogo" (¬Q → ¬P), que mantém o mesmo valor de verdade da afirmação inicial.