Changes

Dedução Natural (view source)

Revision as of 02:10, 17 September 2020

20 bytes added , 02:10, 17 September 2020

acrescentando video

* '''Derivabilidade''' e '''admissibilidade''' de regras<!--

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

* Uso de '''lemas'''<!--

--><p>[VIDEO]</p>

525

edits

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