docoo
Demostración
Una demostración es una conclusión esperada a partir de proposiciones (consideradas como ciertas)
Pueden ser:
  • Directas: Se deducen conclusiones a partir de las primitivas.
  • Demostrando una equivalencia lógica :
  • Demostrando el contrarecíproco:
  • Reducción al absurdo : "Si P es una tautológica ¬P es una contradicción"
    Si se llega que ¬P es una contradicción entronces P es cierta.
  • Inducción
    1. $P(n_0)$ se prueba que es cierto.
    2. Se supone $P(n)$ cierta.
    3. Se demuestra que $P(n+1)$ es cierto.
    Entonces queda demostrado que $P(n)$ es cierto para valores mayores que $n_0$.
  • Inducción fuerte es una doble implicación mediante Inducción . Se demuestra por Inducción que $p \rightarrow q$ y luego de la misma manera $q \rightarrow p$ lo que hace que quede demostrado $p \leftrightarrow q$.
--