Changes

Jump to navigation Jump to search
28 bytes removed ,  17:31, 29 August 2020
no edit summary
* Derivações: manipulando fórmulas ou sequentes?
[VIDEO]
* Regras admissíveis Derivabilidade e admissibilidade de regras deriváveis[AGUARDE!VIDEO]* Derivabilidade de regras e uso Uso de lemas
[VIDEO]
* Da derivabilidade das regras estruturais na notação DN<sup>Tree</sup>

Navigation menu