Changes

Dedução Natural (view source)

No change in size , 14:55, 26 August 2020

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 ==

* Á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?

525

edits