Changes

Dedução Natural (view source)

Revision as of 18:34, 22 August 2020

47 bytes added , 18:34, 22 August 2020

no edit summary

* Elementos constitutivos das árvores

[VIDEO]

* [[DN para Lógica Clássica Proposicional]]

* [[DN para Lógica Clássica de Primeira Ordem]]

525

edits

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