Desafíos ( lógica matemática 1 )
Para ver más ejemplos, haga click en "Nuevo ejemplo".
Hay que recordar de la lógica matemática:
( p q ) ( q p ) ( Contrarrecíproco )
Sea:
p : n es impar
q : n es impar
p : n es par
q : n es par
Por lo tanto, demostrar que: "si n es impar, entonces n es impar" equivale a demostrar
que: "si n es par, entonces n es par".
Esta demostración es inmediata, basta con recordar que par par siempre da par.