Exercícios de Dedução Natural

From Logic Wiki
Revision as of 01:53, 2 September 2020 by Jmarcos (talk | contribs)
Jump to navigation Jump to search

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

[AGUARDE!]

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

  • Derivações na forma de árvores rotuladas com fórmulas
  1. 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.

Veja também

Links externos