Recuerdo que lo primero que escuché en la carrera de Matemáticas fue: “aquí van a aprender a demostrar“, imaginen la cara WTF?!?!? “Yo creí que eso solo lo hacían en la NASA!“, pues nel! para pasar el curso de Cálculo 1 tienes que demostrar al menos tres o cuatro teoremas(=afirmaciones famosas) además de importantes, bonitas y útiles.
¿Qué es una demostración?
Una demostración es sencillamente, comprobar que alguna afirmación es verdadera en todos los casos posibles que estipula, siguiendo pasos lógicos que llevan de la proposición p a la proposición q. Para esto hay muchas formas de hacerlo: demostración directa, demostación por contradicción, demostración por definición, contraejemplo, enumeración (para casos enumerables), inducción matemática, … Cada método es un método lógico con nombre en latín, pero para nuestro interés bastará con esto.
Por ejemplo:
[AFIRMACIÓN]