525
edits
Changes
adicionando video
== Derivações ==
* '''Componentes do formalismo dedutivo''' da Dedução Natural: regras (primitivas e derivadas / casos particulares: axiomas e teoremas), derivações<!----><p>[VIDEO]{{#ev:youtube|By6E_g2xf1Q}}</p>
* O '''conjunto das derivações''' de um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>