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

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
 
(12 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
== Em Dedução Natural ==
 
== Em Dedução Natural ==
  
# Algumas estratégias, em DN
+
* ''Derivações na forma de árvores rotuladas com fórmulas''
#: {{#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 de uma forma mais ''estruturada''?
 
  
# Raciocínio direto e por contraposição
+
# Algumas '''estratégias''', em DN<!--
#: {{#ev:youtube|c9MqSNHrJSI}}
+
--><p>{{#ev:youtube|sLKMkPQFYWI}}</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>''Questão:'' Que outras estratégias de demonstração você conhece e que não apareceram no video?</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>''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'''<!--
# Raciocínio por casos e por redução ao absurdo
+
--><p>{{#ev:youtube|c9MqSNHrJSI}}</p><!--
#: {{#ev:youtube|w-f04Idz-6M}}
+
--><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><!--
#: ''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.
+
--><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?
#: ''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.
+
# Raciocínios (clássicos) '''por casos''' e '''por redução ao absurdo''' (ou "por contradição")</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?
+
--><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><!--
# Raciocínio por indução matemática
+
--><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><!--
[AGUARDE!]
+
--><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 ==
 
== Veja também ==
  
 
* [[Dedução Natural]]
 
* [[Dedução Natural]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Latest revision as of 13:45, 6 October 2020

Em Dedução Natural

  • Derivações na forma de árvores rotuladas com fórmulas
  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ínios direto (versão proposicional) 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ínios (clássicos) por casos e por redução ao absurdo (ou "por contradição")

    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.

    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