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ç
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
2 matches
Mail list logo