Difference between revisions of "Exercícios de Dedução Natural"
Jump to navigation
Jump to search
Tag: 2017 source edit |
(mudando as coisas de lugar) Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
==Dedução Natural para a Lógica Proposicional Intuicionista== | ==Dedução Natural para a Lógica Proposicional Intuicionista== | ||
| − | + | #<math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- | |
| + | --><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527&loop=1}}</p> | ||
| + | #<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math><!-- | ||
| + | --><p>{{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}</p> | ||
| + | #<math>\alpha \vdash \alpha \land \alpha</math> | ||
| + | #<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math> | ||
==Dedução Natural para a Lógica Proposicional Clássica== | ==Dedução Natural para a Lógica Proposicional Clássica== | ||
| Line 9: | Line 14: | ||
#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}}<!-- | -->{{#ev:youtube|kNyjuCFUzC8}}<!-- | ||
| − | -->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção. | + | -->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==Veja também== | ==Veja também== | ||
Revision as of 18:45, 13 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.
