525
edits
Changes
m
no edit summary
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''?
[AGUARDE!]
* Como demonstrar que uma certa regra (ou 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 ou uma certa regra ) classicamente derivável não é derivável na lógica intuicionista?
== Veja também ==