Difference between revisions of "Estratégias de demonstração"
m Tag: 2017 source edit |
Tag: 2017 source edit |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
* ''Derivações na forma de árvores rotuladas com fórmulas'' | * ''Derivações na forma de árvores rotuladas com fórmulas'' | ||
| − | # Algumas estratégias, em DN<!-- | + | # Algumas '''estratégias''', em DN<!-- |
--><p>{{#ev:youtube|sLKMkPQFYWI}}</p><!-- | --><p>{{#ev:youtube|sLKMkPQFYWI}}</p><!-- | ||
--><p>''Questão:'' Que outras estratégias de demonstração você conhece e que não apareceram no video?</p><!-- | --><p>''Questão:'' Que outras estratégias de demonstração você conhece e que não apareceram no video?</p><!-- | ||
--><p>''Questão:'' Como apresentar as estratégias de demonstração de uma forma mais ''estruturada''? | --><p>''Questão:'' Como apresentar as estratégias de demonstração de uma forma mais ''estruturada''? | ||
| − | # | + | # Raciocínios '''direto''' (versão proposicional) e '''por contraposição'''<!-- |
--><p>{{#ev:youtube|c9MqSNHrJSI}}</p><!-- | --><p>{{#ev:youtube|c9MqSNHrJSI}}</p><!-- | ||
--><p>''Tarefa:'' Encontre uma fórmula condicional interessante, e demonstre-a primeiro de forma direta e em seguida ofereça uma demonstração alternativa da mesma fórmula raciocinando por contraposição.</p><!-- | --><p>''Tarefa:'' Encontre uma fórmula condicional interessante, e demonstre-a primeiro de forma direta e em seguida ofereça uma demonstração alternativa da mesma fórmula raciocinando por contraposição.</p><!-- | ||
--><p>''Questão:'' Você consegue conceber exemplos "naturais" de situações em que é mais o uso do raciocínio por Contraposição é mais convidativo ou parece mais útil do que o uso do raciocínio Direto? | --><p>''Questão:'' Você consegue conceber exemplos "naturais" de situações em que é mais o uso do raciocínio por Contraposição é mais convidativo ou parece mais útil do que o uso do raciocínio Direto? | ||
| − | # | + | # Raciocínios (clássicos) '''por casos''' e '''por redução ao absurdo''' (ou "por contradição")</p><!-- |
--><p>{{#ev:youtube|w-f04Idz-6M}}</p><!-- | --><p>{{#ev:youtube|w-f04Idz-6M}}</p><!-- | ||
--><p>''Tarefa:'' Tente verificar uma conjectura que você tenha achado difícil de demonstrar, primeiro raciocinando por casos, e em seguida demonstre-a novamente raciocinando por contradição.</p><!-- | --><p>''Tarefa:'' Tente verificar uma conjectura que você tenha achado difícil de demonstrar, primeiro raciocinando por casos, e em seguida demonstre-a novamente raciocinando por contradição.</p><!-- | ||
| Line 22: | Line 22: | ||
* [[Dedução Natural]] | * [[Dedução Natural]] | ||
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
== Links externos == | == Links externos == | ||
* | * | ||
Latest revision as of 13:45, 6 October 2020
Em Dedução Natural
- Derivações na forma de árvores rotuladas com fórmulas
- Algumas estratégias, em DN
Questão: Que outras estratégias de demonstração você conhece e que não apareceram no video?
Questão: Como apresentar as estratégias de demonstração de uma forma mais estruturada?
- Raciocínios direto (versão proposicional) e por contraposição
Tarefa: Encontre uma fórmula condicional interessante, e demonstre-a primeiro de forma direta e em seguida ofereça uma demonstração alternativa da mesma fórmula raciocinando por contraposição.
Questão: Você consegue conceber exemplos "naturais" de situações em que é mais o uso do raciocínio por Contraposição é mais convidativo ou parece mais útil do que o uso do raciocínio Direto?
- Raciocínios (clássicos) por casos e por redução ao absurdo (ou "por contradição")
Tarefa: Tente verificar uma conjectura que você tenha achado difícil de demonstrar, primeiro raciocinando por casos, e em seguida demonstre-a novamente raciocinando por contradição.
Questão: Você acha que há casos em que uma destas duas formas de raciocínio é mais adequada do que a outra? Dê exemplos disto.
Questão: Você consegue entender bem a diferença entre os raciocínios por Contraposição e por Redução ao Absurdo? Quando lhe parece que seria mais adequado usar cada um deles?
- Raciocínio por indução matemática
[AGUARDE!]
