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$.