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 10: | Line 10: | ||
--><p>{{#ev:youtube|moh07B8dv2k|||||start=637}}</p> | --><p>{{#ev:youtube|moh07B8dv2k|||||start=637}}</p> | ||
#<math>\alpha \to (\beta \to \gamma) \vdash \beta \to (\alpha \to \gamma)</math><!-- | #<math>\alpha \to (\beta \to \gamma) \vdash \beta \to (\alpha \to \gamma)</math><!-- | ||
| − | --> | + | --><p>{{#ev:youtube|mlEYLd56pMg|||||start=579}}</p> |
#<math>\vdash \alpha \to (\beta \to \alpha)</math><!-- | #<math>\vdash \alpha \to (\beta \to \alpha)</math><!-- | ||
| − | --> | + | --><p>{{#ev:youtube|mlEYLd56pMg|||||start=768}}</p> |
#<math>\vdash \alpha \to \alpha</math><!-- | #<math>\vdash \alpha \to \alpha</math><!-- | ||
| − | --> | + | --><p>{{#ev:youtube|mlEYLd56pMg|||||start=888}}</p> |
#<math>\alpha \to \beta \vdash \alpha \to (\alpha \to \beta)</math><!-- | #<math>\alpha \to \beta \vdash \alpha \to (\alpha \to \beta)</math><!-- | ||
| − | --> | + | --><p>{{#ev:youtube|mlEYLd56pMg|||||start=965}}</p> |
#<math>\alpha \to (\alpha \to \beta) \vdash \alpha \to \beta</math><!-- | #<math>\alpha \to (\alpha \to \beta) \vdash \alpha \to \beta</math><!-- | ||
| − | --> | + | --><p>{{#ev:youtube|mlEYLd56pMg|||||start=1015}}</p> |
#<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math><!-- | #<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math><!-- | ||
| − | --> | + | --><p>{{#ev:youtube|mlEYLd56pMg|||||start=1098}}</p> |
==Dedução Natural para a Lógica Proposicional Clássica== | ==Dedução Natural para a Lógica Proposicional Clássica== | ||
Revision as of 12:06, 14 September 2020
Contents
Dedução Natural para a Lógica Proposicional Intuicionista
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.
