Imagine infinitos dominós enfileirados na posição “em pé” e vamos supor que duas coisas acontecem: (a) o primeiro dominó cai; (b) se um dominó cair, o dominó seguinte também cai.
Imagem extraída de Ceticismo, Ciência e Tecnologia (Acesso em 05/01/26)
O que podemos concluir sobre esses infinitos dominós? Por (a), o primeiro dominó cai; por (b), o segundo dominó também vai cair, pois o primeiro caiu. Ainda por (b), o terceiro dominó também vai cair, pois o segundo caiu, e assim por diante; o que nos permite concluir que todos os dominós cairão.
Essa é uma ideia intuitiva do Princípio da Indução Finita, muito utilizado para demonstrar que certas propriedades são verdadeiras para sequências infinitas. Reúnam seus Clubes, visitem
