525
edits
Changes
m
no edit summary
(Abreviatura: DN = Dedução Natural)
* Componentes do formalismo dedutivo da DN: regras e derivações
[VIDEO]
* Elementos constitutivos das árvores de derivação em DN: nós, folhas, descendentes diretos (e justificativas), raiz
[VIDEO]
* Definição formal de derivação a partir de um sistema de DN