525
edits
Changes
m
[AGUARDE!]
* O conjunto das derivações como indutivamente definido
no edit summary
[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 árvores de derivação do tipo DN (árvores rotulada por fórmulas, com descarte de hipóteses)
[VIDEO]
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''?
[VIDEO]
* Definição formal de consequência dedutiva a partir de um sistema de DN
* [[DN para Lógica Proposicional Clássica]]
* [[DN para Lógica de Primeira Ordem Clássica]]
* [[Relação de consequência]]
== Links externos ==
*