Changes

Dedução Natural (view source)

Revision as of 22:08, 18 September 2020

20 bytes added , 22:08, 18 September 2020

adicionando video

--><p>{{#ev:youtube|9BdeXjhyJWs}}</p>

* Da ''derivabilidade das regras estruturais'' na notação DN<sup>Tree</sup><!--

--><p>~~[VIDEO]~~{{#ev:youtube|jdHxUb2koy8}}</p>

== Noção de consequência dedutiva ==

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1205"