Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 02:11, 17 September 2020

42 bytes added ,  02:11, 17 September 2020
m
no edit summary
* Da ''derivabilidade das regras estruturais'' na notação DN<sup>Tree</sup><!--
--><p>[VIDEO]</p>
 
== Noção de consequência dedutiva ==
 
* Definição formal da '''relação de consequência dedutiva''' associada a um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1200"

Navigation menu