[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] inducao finita



um forte abaco a todos!
Um amigo me perguntou a seguinte questao. Mas estou com dificuldade em ajuda-lo. Quem puder me ajudar eu agradeco.
 
1. Seja S contido ou igual a N(naturais)
 
i) 2^k pertence a S, para todo k pertencente a N(naturais)
ii) Se k pertence a S entao K-1 tambem pertence a S
 
Esse exercicio e de um livro de analise em ingles, mas nao tem solucao e nem dica.
Grato pela atencao!!!!