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 72: | Line 72: | ||
<!---->{{#ev:youtube|9BdeXjhyJWs|||||start=45}} | <!---->{{#ev:youtube|9BdeXjhyJWs|||||start=45}} | ||
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via terceiro excluído ==== | ==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via terceiro excluído ==== | ||
− | <!---->{{#ev:youtube|9BdeXjhyJWs|||||start= | + | <!---->{{#ev:youtube|9BdeXjhyJWs|||||start=413}} |
===Derivabilidade de regras=== | ===Derivabilidade de regras=== |
Revision as of 02:36, 19 September 2020
Contents
Dedução Natural para a Lógica Proposicional Intuicionista
Derivabilidade de sequentes
Derivabilidade de regras
a partir de + ()
a partir de +
Dedução Natural para a Lógica Proposicional Clássica
Derivabilidade de sequentes
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.
, via raciocínio por absurdo
, via terceiro excluído
Derivabilidade de regras
Nenhum exemplo ainda para esta seção.