Exercícios de Dedução Natural

(Abreviatura: DN = Dedução Natural)

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: $\vdash \varphi \lor \neg \varphi$

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

Veja também

• Dedução Natural
• Estratégias de demonstração