Difference between revisions of "Estratégias de demonstração"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 2: | Line 2: | ||
# Algumas estratégias, em DN | # Algumas estratégias, em DN | ||
| − | + | #: {{#ev:youtube|sLKMkPQFYWI}}</p> | |
| − | + | #: ''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ínio direto e por contraposição | # Raciocínio direto e por contraposição | ||
#: {{#ev:youtube|c9MqSNHrJSI}} | #: {{#ev:youtube|c9MqSNHrJSI}} | ||
Revision as of 18:03, 26 August 2020
Em Dedução Natural
- 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ínio direto 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ínio por casos e por redução ao absurdo
- Tarefa: Tente demonstrar uma sentença 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!]
