O que está errado na seguinte demonstração:
Proposição: com , , para todo natural.
Demonstração: vale sempre.
Assumindo , temos
Passo 1
Cara, de cara a gente já sabe que essa proposição é doida! Anjo, é igual a , não igual a , carambolas! (A não ser que )
Bora começar a julgar essa argumentação! Primeira coisa a ser dita foi:
Isso é verdade! Então isso não é o erro.
Passo 2
A próxima coisa dita foi:
Opa! Isso não está correto! Perceba que o argumentador está usando (erroneamente) o PIF versão . Se liga nele:
“Ah, mas ele provou que funciona para ”
É verdade, mas veja a nossa hipótese indutiva, a SEGUNDA condição: tem que valer PARA TODO . No nosso caso, o .
Então, tem que valer aquela , para todo .
E NÃO VALE!!! Perceba:
Logo, o erro está na hipótese de indução.
Resposta
O erro está na hipótese de indução.