Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 23:24, 20 September 2020

20 bytes added ,  23:24, 20 September 2020
acrescentando video
* Definição formal e principais meta-propriedades da '''relação de consequência dedutiva''' associada a um sistema de Dedução Natural<!--
--><p>[VIDEO]{{#ev:youtube|C9G_kswh-z4}}</p>
== Para reflexão ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1216"

Navigation menu