Difference between revisions of "Dedução Natural"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
Line 12: | Line 12: | ||
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''? | * Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''? | ||
[AGUARDE!] | [AGUARDE!] | ||
− | * Como demonstrar que um certo sequente | + | * Como demonstrar que uma certa regra (ou um certo sequente) não é derivável na lógica clássica? |
− | * Como demonstrar que um certo sequente | + | * Como demonstrar que uma certa regra (ou um certo sequente) classicamente derivável não é derivável na lógica intuicionista? |
== Veja também == | == Veja também == |
Revision as of 21:27, 25 August 2020
- Componentes do formalismo dedutivo da DN: regras e derivações
[VIDEO]
- Elementos constitutivos das árvores de derivação em DN
[VIDEO]
- DN para Lógica Proposicional Intuicionista
- DN para Lógica Proposicional Clássica
- DN para Lógica de Primeira Ordem Clássica
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?