Changes

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>

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1033"