111
edits
Changes
→Links externos
* 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''?
* Note que, em geral, os sistemas dedutivos no formalismo da Dedução Natural contêm regras de (''introdução'' e de) ''eliminação''. Não há nada chamado "regras de ''inclusão''" ou "regras de ''exclusão''"!
== Veja também ==
== Links externos ==
*[http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]