525
edits
Changes
Jump to navigation
Jump to search
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<!--
