525
edits
Changes
m
no edit summary
(Abreviatura: DN = Dedução Natural)
* Componentes do formalismo dedutivo da DNDedução Natural: regras e derivações
[VIDEO]
* O conjunto das derivações de um sistema de DNDedução Natural
[VIDEO]
* Notação DN<sup>Tree</sup>: derivações como árvores de fórmulas, com descarte de hipóteses
* Da derivabilidade das regras estruturais na notação DN<sup>Tree</sup>
[VIDEO]
* Definição formal de consequência dedutiva a partir de um sistema de DNDedução Natural
[VIDEO]