Como provar por contrapositiva?

A Lógica da Prova por Contrapositiva

Na matemática e na lógica formal, nem sempre o caminho mais direto é o mais simples para demonstrar a validade de uma afirmação. Quando queremos provar que uma proposição do tipo "se P, então Q" é verdadeira, uma das estratégias mais elegantes e eficientes é a prova por contrapositiva.

Esse método baseia-se no princípio da equivalência lógica. Dizer "se P, então Q" é logicamente idêntico a dizer "se não Q, então não P". Inverter os elementos e negar ambos preserva o valor de verdade da sentença original. Portanto, se provarmos que a segunda afirmação é real, a primeira estará automaticamente demonstrada.

Para entender na prática, consideremos o clássico teorema: "Se x² é par, então x é par". Uma demonstração direta pode ser complexa, pois trabalhar com a raiz quadrada de um número par não nos dá uma estrutura aritmética imediata. Aplicando a contrapositiva, reformulamos o argumento: "Se x não é par (ou seja, se x é ímpar), então x² não é par (é ímpar)".

A partir daí, a dedução flui naturalmente. Se x é ímpar, ele pode ser escrito como 2k + 1 (onde k é um número inteiro). Ao elevarmos x ao quadrado, obtemos (2k + 1)² = 4k² + 4k + 1, o que se simplifica para 2(2k² + 2k) + 1. Como o resultado possui o formato de um número ímpar, a contrapositiva está provada. Por consequência direta, a afirmação original de que x² sendo par implica em un x par também se confirma como verdadeira.