Changes

Dedução Natural para a Lógica Proposicional Intuicionista (view source)

Revision as of 23:13, 2 September 2020

38 bytes removed , 23:13, 2 September 2020

m

no edit summary

~~(Abreviatura: DN = Dedução Natural)~~

* Regras para a conjunção

[VIDEO]

== Para reflexão ==

*

== Veja também ==

525

edits

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