De especial utilidade no âmbito da ciência da computação, determinado princípio mostra-se como uma implicação, com a tese de que uma sentença da forma...

JUSTIFICATIVA Sempre que é necessário demonstrar que alguma propriedade é válida para qualquer inteiro positivo n , é possível experimentar a indução matemática como técnica de demonstração. A indução, apesar de seu nome, é mais precisamente uma técnica de demonstração dedutiva; isso significa que ela é uma maneira de demonstrar uma conjectura que possivelmente foi formulada por um raciocínio indutivo. As demais alternativas levam à formulação de racionais completamente alheios à questão, razão pela qual estão incorretas.