Imagem & Som
Tertium Non Datur (Terceiro Excluído).
Tarefa 0A: Demonstrar a mesma sentença, invertendo a ordem de aplicação das regras de introdução da disjunção.
Algumas estratégias de demonstração em Dedução Natural
---caso proposicional.
Questão 1A: Que outras estratégias de demonstração você conhece e que não apareceram no video?
Questão 1B: Como apresentar as estratégias de demonstração de uma forma mais estruturada?
O Raciocínio Direto e o Raciocínio por Contraposição, formulados em DN.
Tarefa 2A: Encontre uma sentença condicional interessante, e demonstre-a primeiro de forma direta e em seguida ofereça uma demonstração alternativa raciocinando por contraposição.
Questão 2A: 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?
O Raciocínio por Casos e a Redução ao Absurdo, formulados em DN.
Tarefa 3A: 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 3A: 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 3B: 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?