Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 02:46, 18 September 2020

20 bytes added ,  02:46, 18 September 2020
m
acrescentando video
--><p>{{#ev:youtube|2KzJ3hB9a-Q}}</p>
* Uso de '''lemas'''<!--
--><p>[VIDEO]{{#ev:youtube|9BdeXjhyJWs}}</p>
* Da ''derivabilidade das regras estruturais'' na notação DN<sup>Tree</sup><!--
--><p>[VIDEO]</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1204"

Navigation menu