Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 23:46, 28 August 2020

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

Navigation menu