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

Consideremos agora a seguinte demonstração: Suponhamos que n seja par, então existe k element of straight natural numbers, tal que n equals 2 k. Assim, n squared equals left parenthesis 2 k right parenthesis squared equals 4 k squared equals 2 left parenthesis 2 k squared right parenthesis e então, n squared é par, o que contradiz nossa hipótese. Logo, n é ímpar.

Assinale a alternativa que corresponde ao tipo de demonstração empregada.
a.

Demonstração por absurdo.
b.

Demonstração direta.
c.

Demonstração por contraposição.
d.

Demonstração pelo Princípio da Indução Finita.
e.

Demonstração por exaustão.