Difference between revisions of "Exercícios de Dedução Natural"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 8: | Line 8: | ||
#Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math> | #Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math> | ||
| − | + | <!-- | |
--><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!-- | --><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!-- | ||
--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.<!-- | --><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.<!-- | ||
Revision as of 17:44, 13 September 2020
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.
- Comutatividade de :
