Question

Em lógica matemática, a prova por exaustão é aquela em que demonstramos a validade de nossa afirmação, apontando todas as possibilidades. Já a prova por postulados costuma ser muito mais eficiente do que a prova por exaustão, porque em geral parte de axiomas definições ou algum padrão observado.

Agora sua vez! Para visualizar a diferença entre a prova por exaustão e a prova por postulados considere a seguinte proposição:

A soma dos 30 primeiros números ímpares é 900.

Neste contexto:

a) Mostre que essa proposição é verdadeira, utilizando a prova por exaustão e a prova por postulados.

b) Responda qual das duas provas seria mais adequada se o número aumentasse para os 100 primeiros números ímpares.

Answer 1

A -

Prova por Exaustão:

S=1+3+5+7+9+11+13+15+17+19+21+23+25+27+29+31+33+35+37+39+41+43+45+47+49+51+53+ 55+57+59 = 900

Prova por Postulados: S30 = (1+59).30 = 60.30 =900

                                                -----------     -------   -----

                                                      2             2       2

B - A prova por postulado.

Answer 2

Resposta:

Explicação: