525
edits
Changes
m
no edit summary
== Derivações ==
* Componentes do formalismo dedutivo da Dedução Natural: regras e derivações<!--
--><p>[VIDEO]</p>
* Derivações: manipulando fórmulas ou sequentes?<!--
--><p>[VIDEO]</p>
== Derivabilidade e admissibilidade ==
* Derivabilidade e admissibilidade de regras<!--
--><p>[VIDEO]</p>