(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:
nós, folhas, descendentes diretos (e justificativas), raiz [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]
Para reflexão
- Árvores de derivação: manipulando fórmulas ou sequentes?
[AGUARDE!]
- 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?