525
edits
Changes
m
no edit summary
(Abreviatura: '''DN''' = Dedução Natural)
* Componentes do formalismo dedutivo da DN: regras e derivações
[VIDEO]
* Elementos constitutivos das árvores de derivação em DN
[VIDEO]
* Definição formal de derivação a partir de um sistema de DN[VIDEO]* O conjunto das derivações como indutivamente definido[VIDEO]* Definição formal de consequência dedutiva a partir de um sistema de DN[VIDEO]
* [[DN para Lógica Proposicional Intuicionista]]
* [[DN para Lógica Proposicional Clássica]]