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]