Prove por contraposição que a diferença entre os cubos de dois números consecutivos é ímpar. Para tal, considere os
seguintes dados: a) se o cubo de um número for par, então esse número será par; b) se o cubo de um número for ímpar, então
esse número será ímpar; c) a soma (ou subtração) de dois números pares resulta em um número par; d) a soma (ou subtração)
de dois números ímpares resulta em um número par."
A dificuldade que estou tendo é que nas provas por contraposição temos uma proposição que pode ser transformada em uma contraposição: P ? Q <=> ~Q ? ~P
Mas no enunciado: a diferença entre os cubos de dois números consecutivos é ímpar, não sei como formar a contraposição.
Dos exemplos que vi para provar com contraposição sempre é dada uma afirmação do tipo "se alguma_coisa então outra_coisa"
![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png "\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}")
![\sqrt[]{2}](/latexrender/pictures/f21662d1cabab6e8b273a4b6f1cd663a.png "\sqrt[]{2}")
e elevar ao quadrado os dois lados)