1,516 bytes added
, 17:54, 26 August 2020
== Em Dedução Natural ==
# Algumas estratégias, em DN
:: {{#ev:youtube|sLKMkPQFYWI}}
:: ''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
:: {{#ev:youtube|c9MqSNHrJSI}}
:: ''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
:: {{#ev:youtube|w-f04Idz-6M}}
:: ''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!]
== Veja também ==
* [[Dedução Natural]]
== Links externos ==
*