111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 22:56, 15 September 2020
, 22:56, 15 September 2020→Dedução Natural para a Lógica Proposicional Clássica
<!---->{{#ev:youtube|kNyjuCFUzC8}}<!--
-->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
==== <math>\neg\neg\alpha \vdash \alpha</math> ====
<!---->{{#ev:youtube|0RiYJ5EinRE|||||start=499}}
==== <math>\neg\beta\to\alpha, \neg\beta\to\neg\alpha \vdash \beta</math> ====
<!---->{{#ev:youtube|0RiYJ5EinRE|||||start=545}}
==== <math>\neg\alpha\to\neg\beta \vdash \beta\to\alpha</math> ====
<!---->{{#ev:youtube|0RiYJ5EinRE|||||start=596}}
===Derivabilidade de regras===