Changes

Jump to navigation Jump to search
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]

Navigation menu