111
edits
Changes
→Links externos
== Derivações ==
* '''Componentes do formalismo dedutivo''' da Dedução Natural: ''regras '' (primitivas e derivadas / casos particulares: axiomas e teoremas), e ''derivações''<!--
--><p>{{#ev:youtube|By6E_g2xf1Q}}</p>
* O '''conjunto das derivações''' de um sistema de Dedução Natural<!--
--><p>{{#ev:youtube|2KzJ3hB9a-Q}}</p>
* Uso de '''lemas'''<!--
--><p>[VIDEO]{{#ev:youtube|9BdeXjhyJWs}}</p>
* Da ''derivabilidade das regras estruturais'' na notação DN<sup>Tree</sup><!--
--><p>[VIDEO]{{#ev:youtube|jdHxUb2koy8}}</p>
== Noção de consequência dedutiva ==
* Definição formal e principais meta-propriedades da '''relação de consequência dedutiva''' associada a um sistema de Dedução Natural<!----><p>[VIDEO]{{#ev:youtube|C9G_kswh-z4}}</p>
== Para reflexão ==
* 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 ==
* [[Dedução Natural para a Lógica Proposicional Intuicionista]]
* [[Dedução Natural para a Lógica Proposicional Clássica]]
* [[Dedução Natural para a Lógica de Primeira Ordem Intuicionista]]
* [[Dedução Natural para a Lógica de Primeira Ordem Clássica]]
* [[Estratégias de demonstração]]
* [[Relação de consequência]]
* [[Correção e completude]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*[http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]