Estratégias de demonstração

From Logic Wiki
Revision as of 17:54, 26 August 2020 by Jmarcos (talk | contribs) (criando página)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Em Dedução Natural

  1. 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?
  1. 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?
  1. 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?
  1. Raciocínio por indução matemática

[AGUARDE!]

Veja também

Links externos