Difference between revisions of "Dedução Natural"

From Logic Wiki
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 ou uma certa regra não é derivável na lógica clássica?
+
* 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 ou uma certa regra classicamente derivável não é derivável na lógica intuicionista?
+
* 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]

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?

Veja também

Links externos