525
edits
Changes
m
no edit summary
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''?
[AGUARDE!]
* Como demonstrar que um certo sequente ou uma certa regra 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?
== Veja também ==