Open main menu

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ínio por casos:  

Raciocínio por redução ao absurdo:  

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?

     

    (Será que 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