Difference between revisions of "Estratégias de demonstração"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 1: Line 1:
 
== Em Dedução Natural ==
 
== Em Dedução Natural ==
  
# Algumas estratégias, em DN
+
# Algumas estratégias, em DN<!--
#: {{#ev:youtube|sLKMkPQFYWI}}</p>
+
--><p>{{#ev:youtube|sLKMkPQFYWI}}</p><!--
#: ''Questão:'' Que outras estratégias de demonstração você conhece e que não apareceram no video?
+
--><p>''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''?
+
--><p>''Questão:'' Como apresentar as estratégias de demonstração de uma forma mais ''estruturada''?
 
# Raciocínio direto e por contraposição
 
# Raciocínio direto e por contraposição
 
#: {{#ev:youtube|c9MqSNHrJSI}}
 
#: {{#ev:youtube|c9MqSNHrJSI}}

Revision as of 18:27, 26 August 2020

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?

  2. 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?
  3. 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?
  4. Raciocínio por indução matemática
    [AGUARDE!]

Veja também

Links externos