Changes

* ''Derivações na forma de árvores rotuladas com fórmulas''

--><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''?

--><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?

--><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><!--