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 7: | Line 7: | ||
*''Derivações na forma de árvores rotuladas com fórmulas'' | *''Derivações na forma de árvores rotuladas com fórmulas'' | ||
| − | #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><!-- |
| − | <!-- | + | -->{{#ev:youtube|kNyjuCFUzC8}}<!-- |
| − | -- | + | -->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.<!-- |
| − | -- | ||
--> | --> | ||
| − | |||
#<math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- | #<math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- | ||
--><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527}}</p> | --><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527}}</p> | ||
Revision as of 17:49, 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.
