525
edits
Changes
Jump to navigation
Jump to search
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''?
[AGUARDE!]
no edit summary
* Definição formal de derivação a partir de um sistema de DN
[VIDEO]
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''?
[AGUARDE!]
* O conjunto das derivações como indutivamente definido
[VIDEO]
== Para reflexão ==
* Como demonstrar que uma certa regra (ou um certo sequente) não é derivável na lógica clássica?
* Como demonstrar que uma certa regra (ou um certo sequente) classicamente derivável não é derivável na lógica intuicionista?
