525
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
== Para reflexão ==
* Qual o significado lógico e o uso matemático da regra estrutural (𝕋)?
* 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?
