Changes

==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>\neg(\alpha \lor \beta) \dashv\vdash \neg\alpha\land\neg\beta</math><!--

--><p>{{#ev:youtube|-Exorelokdo|||||start=817}}</p>

==Dedução Natural para a Lógica Proposicional Clássica==

*''Derivações na forma de árvores rotuladas com fórmulas''

-->{{#ev:youtube|kNyjuCFUzC8}}<!--

-->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.

==Veja também==