Open main menu

Changes

2 bytes removed ,  14:54, 26 August 2020
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