Exercícios de Dedução Natural

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

1. $\varphi \land \psi \vdash \psi \land \varphi$

2. $(\varphi \land \psi )\land \delta \vdash \varphi \land (\psi \land \delta )$

3. $\varphi \vdash \varphi \land \varphi$

4. $\alpha \land \beta ,\gamma \land \delta \vdash \gamma \land \beta$

5. $\alpha \to (\beta \to \gamma )\vdash \beta \to (\alpha \to \gamma )$
6. $\vdash \alpha \to (\beta \to \alpha )$
7. $\vdash \alpha \to \alpha$
8. $\alpha \to \beta \vdash \alpha \to (\alpha \to \beta )$
9. $\alpha \to (\alpha \to \beta )\vdash \alpha \to \beta$
10. $\gamma \to \alpha ,\gamma \to \beta \vdash \gamma \to (\alpha \land \beta )$

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