Changes

Dedução Natural (view source)

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]

525

edits