Na avaliação online de Prática Pedagógica Interdisciplinar: Lógica Matemática, qual é a resposta correta da questão 004?

Nesse tipo de demonstração, possível apenas para um subconjunto dos inteiros, testamos a validade para os primeiros casos e depois consideramos verdadeiro os K primeiros casos e vamos verificar a validade do caso K+1, tal demonstração é denominada indução.
Demonstração por contra positiva.
Demonstração por indireta.
Demonstração por contradição.
Demonstração por absurdo.
Demonstração por indução.