reconocer que el resultado global a probar no es sólo una sola declaración P (n), sino la afirmación compuesta de que “P (n) es verdadera, para todos n ≥ 1 ”. En otras palabras, si definimos S como el...reconocer que el resultado global a probar no es sólo una sola declaración P (n), sino la afirmación compuesta de que “P (n) es verdadera, para todos n ≥ 1 ”. En otras palabras, si definimos S como el conjunto de enteros positivos n para los que la sentencia P (n) es verdadera, entonces S contiene el elemento “1”, y siempre que k esté en S, así es k + 1 ; de ahí que por el Principio de Inducción Matemática sabemos que S contiene todos los enteros positivos.
