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 1: | Line 1: | ||
− | == Dedução Natural para a Lógica Proposicional Intuicionista == | + | ==Dedução Natural para a Lógica Proposicional Intuicionista== |
[AGUARDE!] | [AGUARDE!] | ||
− | == Dedução Natural para a Lógica Proposicional Clássica == | + | ==Dedução Natural para a Lógica Proposicional Clássica== |
− | * ''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></p><!-- | + | #Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!-- |
--><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!-- | --><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!-- | ||
--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção. | --><p>''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> |
+ | --><p>{{#ev:youtube|moh07B8dv2k?start=491}}</p><!-- | ||
− | + | ==Veja também== | |
− | |||
− | == Links externos == | + | *[[Dedução Natural]] |
+ | *[[Estratégias de demonstração]] | ||
+ | |||
+ | ==Links externos== | ||
* | * |
Revision as of 17:21, 13 September 2020
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.
-->
EmbedVideo received the bad id "moh07B8dv2k?start=491" for the service "youtube".