Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 23:49, 28 August 2020

13 bytes added ,  23:49, 28 August 2020
m
no edit summary
* Derivações: manipulando fórmulas ou sequentes?
[VIDEO]
* Regras admissíveis[AGUARDE!]* Regras e regras deriváveis[AGUARDE!]* Uso de lemas
[AGUARDE!]
* Derivabilidade de regras e uso de lemas
[VIDEO]
* Da derivabilidade das regras estruturais na notação DN<sup>Tree</sup>
[VIDEO]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1034"

Navigation menu