Changes

Dedução Natural (view source)

31 bytes added , 17:32, 27 August 2020

m

no edit summary

* Regras deriváveis

[AGUARDE!]

* Da derivabilidade das regras estruturaisna notação DN<sup>Tree</sup>

[VIDEO]

* Definição formal de consequência dedutiva a partir de um sistema de DN

525

edits