Changes

* Componentes do formalismo dedutivo da Dedução Natural: regras e derivações<!----><p>[VIDEO]</p>* O conjunto das derivações de um sistema de Dedução Natural<!----><p>[VIDEO]</p>* Notação DN^Tree: derivações como árvores de fórmulas, com descarte de hipóteses<!----><p>[VIDEO]</p>* Derivações: manipulando fórmulas ou sequentes?<!----><p>[VIDEO]</p>* Derivabilidade e admissibilidade de regras<!----><p>[VIDEO]</p>* Uso de lemas<!----><p>[VIDEO]</p>* Da derivabilidade das regras estruturais na notação DN^Tree<!----><p>[VIDEO]</p>* Definição formal da relação de consequência dedutiva a partir de um sistema de Dedução Natural<!----><p>[VIDEO]</p>