Este es mi último problema de los deberes y lo he estado mirando durante un tiempo. No puedo encontrar lo que está mal en esta prueba, aunque es obvio que está mal en base a su conclusión. Aquí está:
Encuentra el fallo en la siguiente prueba falsa por inducción fuerte de que para todo $n \in \Bbb N$ , $7n = 0$ .
Dejemos que $P(n)$ denota la afirmación de que $7n = 0$ .
Caso base: Mostrar $P(0)$ se mantiene.
Desde $7 \cdot 0 = 0$ , $P(0)$ se mantiene.
Paso inductivo: Supongamos que $7·j = 0$ para todos los números naturales $j$ donde $0 \le j \le k$ (hipótesis de inducción). Mostrar $P(k + 1)$ : $7(k + 1) = 0$ .
Escribe $k + 1 = i + j$ , donde $i$ y $j$ son números naturales menores que $k + 1$ . Entonces, utilizando la hipótesis de inducción, obtenemos $7(k + 1) = 7(i + j) = 7i + 7j = 0 + 0 = 0$ . Así que $P(k + 1)$ se mantiene.
Por lo tanto, por inducción fuerte, $P(n)$ es válida para todos los $n \in \Bbb N$ .
Así que el caso base es cierto y me sorprendería que el problema estuviera ahí.
El paso inductivo es probablemente donde está el fallo. Sin embargo, no veo nada malo en la declaración de inducción fuerte y en la hipótesis, ¡y las matemáticas cuadran! Me parece que es tan obvio que me lo estoy saltando a la torera.