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 55: | Line 55: | ||
===Derivabilidade de regras=== | ===Derivabilidade de regras=== | ||
==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ==== | ==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ==== | ||
| − | <!---->{{#ev:youtube|0RiYJ5EinRE}} | + | <!---->{{#ev:youtube|0RiYJ5EinRE|||||start=312}} |
==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ==== | ==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ==== | ||
| − | <!---->{{#ev:youtube|0RiYJ5EinRE}} | + | <!---->{{#ev:youtube|0RiYJ5EinRE|||||start=402}} |
==Veja também== | ==Veja também== | ||
Revision as of 22:50, 15 September 2020
Contents
Dedução Natural para a Lógica Proposicional Intuicionista
Derivabilidade de sequentes
Derivabilidade de regras
Dedução Natural para a Lógica Proposicional Clássica
Derivabilidade de sequentes
- 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.
