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