Inducción Completa: Ejercicios de repaso

[@juanbrea2454]

Hola Alicia, que tal! Siempre tuve esta duda; si por ejemplo estamos trabajando con x perteneciente a Z y x > = -5 ahí podríamos probar algún predicado por inducción? O sea, en un subconjunto de los enteros, que tenga primer elemento y que además el siguiente elemento siempre esté definido.

[@matematicamaravillosa]

Sí, en ese caso aunque algunos elementos no son naturales, es un conjunto inductivo, se puede demostrar por PIC. Saludos!!!!