525
edits
Changes
m
(Abreviatura: DN = Dedução Natural)
no edit summary
* Componentes do formalismo dedutivo da Dedução Natural: regras e derivações
[VIDEO]
== Veja também ==
* [[DN Dedução Natural para a Lógica Proposicional Intuicionista]]* [[DN Dedução Natural para a Lógica Proposicional Clássica]]* [[DN Dedução Natural para a Lógica de Primeira Ordem Clássica]]
* [[Estratégias de demonstração]]
* [[Relação de consequência]]