525
edits
Changes
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>