entoncesP(n) es cierto para todosn∈N+. Por el Principio de Inducción Matemática (en forma de inducción fuerte con múltiples casos base), concluimos que esoP(n) es cierto pa...entoncesP(n) es cierto para todosn∈N+. Por el Principio de Inducción Matemática (en forma de inducción fuerte con múltiples casos base), concluimos que esoP(n) es cierto para todosn∈N+. Por ejemplo, si deseas demostrar que esoP(n) es cierto para todosn∈N (en lugar de solo para todosn∈N+), entonces tu paso de inducción sería probarP(n−1)⇒P(n), para todosn≥1.