Last 5 Pages Viewed: Special:MobileDiff/959 » Special:MobileDiff/261 » Special:MobileDiff/955 » Special:MobileDiff/994 » Special:MobileDiff/944

Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 19:30, 23 August 2020

75 bytes added ,  19:30, 23 August 2020
m
no edit summary
* Componentes do formalismo dedutivo da DN: regras e derivações
[VIDEO]
* Elementos constitutivos das árvores de derivação em DN
[VIDEO]
 
* [[DN para Lógica Clássica Proposicional]]
* [[DN para Lógica Clássica de Primeira Ordem]]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/944"

Navigation menu