Difference between revisions of "Exercícios de Dedução Natural"
Jump to navigation
Jump to search
(criando página) |
(No difference)
|
Revision as of 16:14, 28 August 2020
(Abreviatura: DN = Dedução Natural)
Contents
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
- 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.