Last 5 Pages Viewed: Special:MobileDiff/1202 » Special:MobileDiff/1012 » Special:MobileDiff/1205 » Special:MobileDiff/1113

Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 21:23, 3 September 2020

No change in size ,  21:23, 3 September 2020
m
no edit summary
* O '''conjunto das derivações''' de um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
* Notação '''Notação DN<sup>Tree</sup>''': derivações como árvores de fórmulas, com descarte de hipóteses<!--
--><p>[VIDEO]</p>
* Derivações: ''manipulando fórmulas ou sequentes''?<!--
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1113"

Navigation menu