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

Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 17:33, 27 August 2020

13 bytes added ,  17:33, 27 August 2020
m
no edit summary
* Da derivabilidade das regras estruturais na notação DN<sup>Tree</sup>
[VIDEO]
* Definição formal da relação de consequência dedutiva a partir de um sistema de Dedução Natural
[VIDEO]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1015"

Navigation menu