525
edits
Changes
Jump to navigation
Jump to search
m
[VIDEO]
* Elementos constitutivos das árvores de derivação em DN: nós, folhas, descendentes diretos (e justificativas), raiz
no edit summary
* Componentes do formalismo dedutivo da DN: regras e derivações
[VIDEO]
* O conjunto das derivações de um sistema de DN
