Changes

Dedução Natural (view source)

Revision as of 16:16, 27 August 2020

125 bytes added , 16:16, 27 August 2020

m

no edit summary

[VIDEO]

* [[Estratégias de demonstração]]

* Conjunto das derivações de um sistema de DN

[VIDEO]

* Notação para DN: derivações como árvores de fórmulas

[VIDEO]

== Para reflexão ==

525

edits

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