Open main menu

Changes

no edit summary
== 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 Derivações na forma de uma forma mais ''estruturadaárvores rotuladas com fórmulas''?
# Raciocínio Algumas '''estratégias''', em DN<!----><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:'' 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>''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? # Raciocínio 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>''Tarefa:'' Tente demonstrar verificar uma sentença 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>''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.</p><!--:: --><p>''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</p><!----><p>[AGUARDE!]</p>
== Veja também ==
* [[Dedução Natural]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*