Como se obtém a contrapositiva de uma proposição condicional "se A então B"?

A contrapositiva é se não B então não A, obtida negando e invertendo as partes.

Explicação: negue A e B, e troque a ordem, assim a condicional se A então B vira se ¬B então ¬A.

Exemplo:
Considere a proposição: se n é múltiplo de 6 então n é múltiplo de 3.
A contrapositiva é: se n não é múltiplo de 3 então n não é múltiplo de 6.
Justificativa algébrica: se \(n=6k\) então \(n=3(2k)\), logo múltiplo de 3, portanto a contrapositiva é válida.
Exemplo numérico: \(n=4\), 4 não é múltiplo de 3, logo não é múltiplo de 6.