Cara, é que ficou meio estranho pelo o que eu entendi. Se você prova de P(k+1) em diante, tendo como hipótese P(k-1) e P(k), ok, você fez uma indução forte e provou que vale de P(k-1) em diante, só que P(k-2), P(k-3), etc, não está provado. É como se você tivesse começado pelo meio e não pelo começo. Mas respondendo sua pergunta, sim, seria indução forte porque sua hipótese foi que vários P's são verdadeiros, e não apenas 1.
Em 16 de junho de 2017 20:49, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > Eu estava tentando provar uma coisa aqui por indução.E gostaria de saber > uma coisa, fazendo o caso base de indução para k=1 e k=2, e, se como > hipótese de indução eu admitir que P(k) e P(k-1) é verdadeiro e conseguir, > a partir dessas duas hipóteses, provar que P(k+1) é verdadeiro, então isso > é uma prova válida?Se sim, esse seria um caso de indução forte?Ou indução > forte tem que ser necessariamente P(k) , P(k-1),...,P(1)? > > -- > Esta mensagem foi verificada pelo sistema de antivírus e > acredita-se estar livre de perigo. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.