Changes

* '''Componentes do formalismo dedutivo ''' da Dedução Natural: ''regras '' (primitivas e derivadas / casos particulares: axiomas e teoremas) e ''derivações''<!----><p>[VIDEO]{{#ev:youtube|By6E_g2xf1Q}}</p>* O '''conjunto das derivações ''' de um sistema de Dedução Natural<!----><p>[VIDEO]{{#ev:youtube|c4gdWh7vBwQ}}</p>* '''Notação DN^Tree''': derivações como árvores de fórmulas, com descarte de hipóteses<!----><p>[VIDEO]{{#ev:youtube|UdA2l5BK960}}</p>* Derivações: ''manipulando fórmulas ou sequentes''?<!----><p>[VIDEO]{{#ev:youtube|TyFDAjvSBgM}}</p>

* '''Derivabilidade ''' e '''admissibilidade ''' de regras<!----><p>[VIDEO]{{#ev:youtube|2KzJ3hB9a-Q}}</p>* Uso de '''lemas'''<!----><p>[VIDEO]{{#ev:youtube|9BdeXjhyJWs}}</p>* Da ''derivabilidade das regras estruturais '' na notação DN^Tree<!----><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 partir de um sistema de Dedução Natural<!----><p>[VIDEO]{{#ev:youtube|C9G_kswh-z4}}</p>

* 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''?* 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''"!

*[http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]