Changes

Dedução Natural (view source)

Revision as of 17:20, 27 August 2020

51 bytes added , 17:20, 27 August 2020

m

no edit summary

* Regras deriváveis

[AGUARDE!]

* Da derivabilidade das regras estruturais

[VIDEO]

== Para reflexão ==

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1011"