Changes

Dedução Natural (view source)

13 bytes added , 17:33, 27 August 2020

m

no edit summary

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

[VIDEO]

* Definição formal da relação de consequência dedutiva a partir de um sistema de Dedução Natural

[VIDEO]

525

edits