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 13: | Line 13: | ||
--> | --> | ||
| − | #Comutatividade de <math>\land</math>: <math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=480}}</p> | + | #Comutatividade de <math>\land</math>: <math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=525}}</p> |
==Veja também== | ==Veja também== | ||
Revision as of 17:41, 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 :
