525
edits
Changes
m
* 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]
no edit summary
* Elementos constitutivos das árvores de derivação em DN: nós, folhas, descendentes diretos (e justificativas), raiz
[VIDEO]
* Definição formal de derivação a partir O conjunto das derivações de um sistema de DN
[VIDEO]
* O conjunto das Notação para DN: derivações como indutivamente definidoá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]
* Uso de lemas
[VIDEOAGUARDE!]
* Regras admissíveis
[AGUARDE!]
* Regras deriváveis
[VIDEOAGUARDE!]
* [[Estratégias de demonstração]]
== Para reflexão ==