Changes

Dedução Natural (view source)

129 bytes removed , 16:53, 27 August 2020

m

no edit summary

* 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]

* O conjunto das derivações de um sistema de DN

525

edits