Open main menu

Changes

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>