Open main menu

Changes

<!---->{{#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===