525
edits
Changes
m
no edit summary
* O conjunto das derivações de um sistema de DN
[VIDEO]
* Notação para DN<sup>Tree</sup>: derivações como árvores de fórmulas, com descarte de hipóteses
[VIDEO]
* Definição formal de consequência dedutiva a partir de um sistema de DNDerivações: manipulando fórmulas ou sequentes?
[VIDEO]
* Uso de lemas
[AGUARDE!]
* Da derivabilidade das regras estruturais
[VIDEO]
* Definição formal de consequência dedutiva a partir de um sistema de DN
[VIDEO]