[size=150]Hay que recordar de la lógica matemática:[br]( p [math]\Longrightarrow[/math] q ) [math]\Longleftrightarrow[/math] ( [math]\neg[/math] q [math]\Longrightarrow[/math] [math]\neg[/math] p ) ( Contrarrecíproco )[br]Sea:[br]p : n[math]^2[/math] es impar[br]q : n es impar[br][size=150][math]\neg[/math] p : n[math]^2[/math] es par[br][math]\neg[/math] q : n es par[br]Por lo tanto, demostrar que: "si n[/size][math]^2[/math] es impar, entonces n es impar" equivale a demostrar[br]que: "si n es par, entonces n[math]^2[/math] es par".[br]Esta demostración es inmediata, basta con recordar que par [math]\times[/math] par siempre da par.[br][/size]