Descomplica _ Lógica E Raciocínio-6-4

Prévia do material em texto

Lógica e Raciocínio
4 5 6
04
Uma demonstração matemática pode envolver diversas técnicas já
conhecidas (de fato, esta é uma prática muito comum). Suponha que um
matemático adota a seguinte estratégia para demonstrar um lema técnico:
partindo da hipótese inicial, demonstra através da estrutura de implicações “p
⇨ q” um resultado particular, e indexado pelos números naturais, demonstra
que se o resultado é válido para um número natural genérico, que a tese é
válida para o sucessor deste número, utilizando nesta etapa da
demonstração um argumento via contradição, chegando ao resultado inicial
desejado, e finalizando a demonstração.
Podemos dizer que o matemático adotou as seguintes técnicas:
a
Prova por indução, utilizando dentro da indução a prova direta e a prova
intuitiva
b
Prova direta, utilizando a prova por indução e prova inversa
c
Prova por indução, utilizando dentro da indução a prova indireta e a prova por
contradição
d
Prova por indução, utilizando dentro da indução a prova direta e a prova
indireta
e
Prova indireta, utilizando dentro da contradição um argumento de indução e
de contradição
Confirmar resposta