525
edits
Changes
m
no edit summary
* 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''?
* Se R é uma ''regra admissível '' em '''Nat''', o que ocorre se você ''adicionar '' esta regra ao estoque de regras primitivas de '''Nat'''? E por quê ''regras deriváveis são sempre admissíveis''?
== Veja também ==