111
edits
Changes
→Links externos
* [['''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|c4gdWh7vBwQ}}</p>* '''Notação DN para Lógica Proposicional Intuicionista]]<sup>Tree</sup>''': derivações como árvores de fórmulas, com descarte de hipóteses<!----><p>{{#ev:youtube|UdA2l5BK960}}</p>* Derivações: ''manipulando fórmulas ou sequentes''?<!----><p>{{#ev:youtube|TyFDAjvSBgM}}</p> == Derivabilidade e admissibilidade == * [['''Derivabilidade''' e '''admissibilidade''' de regras<!----><p>{{#ev:youtube|2KzJ3hB9a-Q}}</p>* Uso de '''lemas'''<!----><p>{{#ev:youtube|9BdeXjhyJWs}}</p>* Da ''derivabilidade das regras estruturais'' na notação DN para Lógica Proposicional Clássica]]<sup>Tree</sup><!----><p>{{#ev:youtube|jdHxUb2koy8}}</p> == Noção de consequência dedutiva == * [[DN para Lógica Definição formal e principais meta-propriedades da '''relação de consequência dedutiva''' associada a um sistema de Primeira Ordem Clássica]]Dedução Natural<!----><p>{{#ev:youtube|C9G_kswh-z4}}</p>
== Para reflexão ==
* Árvores de derivação: manipulando Qual o ''fórmulassignificado lógico'' ou e o ''sequentesuso matemático''da regra estrutural (𝕋)?[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''?* 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]