Consideremos o seguinte teorema: Para todo n element of straight natural numbers, se n squared é ímpar, então n também é ímpar. Consideremos agor...

Vamos analisar cada alternativa: a. Demonstração por contraposição: Neste tipo de demonstração, se prova a implicação contrária da proposição original. No caso apresentado, não estamos provando a contraposição da proposição original. b. Demonstração direta: Neste tipo de demonstração, a conclusão é obtida diretamente a partir das premissas. No caso apresentado, a demonstração segue uma lógica direta. c. Demonstração por absurdo: Neste tipo de demonstração, assume-se a negação da conclusão desejada e chega-se a uma contradição. No caso apresentado, a demonstração segue esse raciocínio. d. Demonstração por exaustão: Neste tipo de demonstração, todas as possibilidades são consideradas e analisadas. No caso apresentado, não estamos considerando todas as possibilidades. e. Demonstração pelo Princípio da Indução Finita: Neste tipo de demonstração, prova-se que uma propriedade é válida para todos os números naturais. No caso apresentado, não estamos utilizando o Princípio da Indução Finita. Portanto, a alternativa correta é: c. Demonstração por absurdo.