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 5: | Line 5: | ||
#<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math><!-- | #<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math><!-- | ||
--><p>{{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}</p> | --><p>{{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}</p> | ||
| − | #<math>\ | + | #<math>\varphi \vdash \varphi \land \varphi</math><!-- |
--><p>{{#ev:youtube|moh07B8dv2k|||||start=583&end=636&loop=1}}</p> | --><p>{{#ev:youtube|moh07B8dv2k|||||start=583&end=636&loop=1}}</p> | ||
#<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math><!-- | #<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math><!-- | ||
Revision as of 11:50, 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.
