Em uma aula sobre raciocínio lógico, um professor propôs aos
estudantes que analisassem a seguinte afirmação: “Se o produto
de dois números naturais é par, então pelo menos um desses
números é par.”
Um estudante calculou os produtos 2 × 3, 4 × 5, 6 × 7 e 8 × 9. Como
todos os resultados eram pares e, em cada multiplicação, havia um
fator par, concluiu que a afirmação estava demonstrada.
Considerando o objetivo de levar o estudante, a partir da
estratégia apresentada, a superar a verificação de casos
particulares e construir uma demonstração válida para quaisquer
dois números naturais, assinale a opção que indica a intervenção
mais adequada a ser adotada pelo professor.