525
edits
Changes
m
[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
no edit summary
[VIDEO]
* O conjunto das derivações como indutivamente definido
[VIDEO]
* Uso de lemas
* Conjunto das derivações de um sistema de DN
[VIDEO]
* Notação para DN: derivações como árvores de fórmulas, com descarte de hipóteses[VIDEO]* Definição formal de consequência dedutiva a partir de um sistema de DN
[VIDEO]