Changes

Jump to navigation Jump to search
267 bytes added ,  14:31, 26 August 2020
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]]

Navigation menu