Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 21:00, 3 September 2020

61 bytes added ,  21:00, 3 September 2020
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>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1101"

Navigation menu