Demonstraes

5. Reavaliao
Verificar se todos os passos so vlidos
O que possvel aprender com
esta demonstrao?

1. Conhecimento do assunto
Brainstorming (Tempestade de idias)
Indagaes
(Contm todas informaes
necessrias para demonstrar o
teorema)

O resultado admite
generalizao
O mtodo pode ser aplicado
em outros casos?

4. Argumentao

Estudar o modelo axiomtico utilizado

Todos os fatos devem ser

vlidos segundo o modelo
axiomtico utilizado

2. Objetivos

Boa redao
O que voc faria para me
comprovar que este resultado
vlido?

O que se quer demonstrar?

O que j tenho?

Equivalncias e Inferncias
Utilizar o que j existe e foi
definido anteriormente
(matemtico usa o que j tem,
para criar o que ainda no
tem)
Formalismo
Construtivismo

Objetivos Secundrios

Que passos preciso realizar

para demonstrar este
resultado?

Passo-chave (como ganhar o jogo?)

3. Possibilidades
Princpio da no-contradio e
do terceiro excludo
Eliminar os passos improvveis
para se chegar ao resultado
Demonstraes indiretas
Considerar as possibilidades
de cada passo
Testar alguns casos
particulares, se preciso
Dividir a demonstrao em
casos, se preciso

Demonstraes.mmap - 02/10/2011 -

No caso de alguma
impossibilidade ou negao