Changes

Jump to navigation Jump to search

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 ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1082"

Navigation menu