Open main menu

Exercícios de Dedução Natural

Revision as of 16:22, 26 September 2020 by Jmarcos (talk | contribs)

Contents

Dedução Natural para a Lógica Proposicional Intuicionista

Derivabilidade de sequentes

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Derivabilidade de regras

  a partir de   + ( )

  a partir de   +  

 

 

 

Dedução Natural para a Lógica Proposicional Clássica

Derivabilidade de sequentes

Terceiro Excluído / Tertium Non Datur:  

Tarefa: Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.

 

 

 

 , via raciocínio por absurdo

 , via terceiro excluído

Derivabilidade de regras

====Raciocínios por casos e por redução ao absurdo Confira Estratégias de demonstração.

Para reflexão

  • O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra

     

    adicionarmos uma regra da forma

     

    para algum conectivo binário   da nossa linguagem?

  • O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra   adicionarmos a seguinte regra de consequentia mirabilis?

     

    (Podemos dizer, neste caso, que se trata de uma regra de introdução ou de eliminação? E quanta diferença isso faz?)

Veja também

Links externos