Exercícios de Dedução Natural

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

Derivabilidade de sequentes

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

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

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

3. $\alpha \to (\beta \to \gamma )\vdash \beta \to (\alpha \to \gamma )$

4. $\vdash \alpha \to (\beta \to \alpha )$

5. $\vdash \alpha \to \alpha$

6. $\alpha \to \beta \vdash \alpha \to (\alpha \to \beta )$

7. $\alpha \to (\alpha \to \beta )\vdash \alpha \to \beta$

8. $\gamma \to \alpha ,\gamma \to \beta \vdash \gamma \to (\alpha \land \beta )$

9. $\beta \lor (\alpha \land \beta )\vdash \beta$

10. $(\alpha \lor \beta )\to \gamma \vdash (\alpha \to \gamma )\land (\beta \to \gamma )$

11. $\alpha \lor \beta \not \vdash \alpha \land \beta$

12. $\alpha \vdash \neg \neg \alpha$

13. $\beta \to \alpha ,\beta \to \neg \alpha \vdash \neg \beta$

14. $\alpha ,\neg \alpha \vdash \neg \beta$

15. $\alpha \lor \beta ,\neg \alpha \lor \gamma \vdash \beta \lor \gamma$

16. $\alpha \to \beta \vdash \neg \beta \to \neg \alpha$

17. $\neg (\alpha \lor \beta )\dashv \vdash \neg \alpha \land \neg \beta$

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

Derivabilidade de sequentes

• 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