525
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
== Derivações ==
* '''Componentes do formalismo dedutivo ''' da Dedução Natural: regras e derivações<!--
--><p>[VIDEO]</p>
* O '''conjunto das derivações ''' de um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
* Notação '''DN<sup>Tree</sup>''': derivações como árvores de fórmulas, com descarte de hipóteses<!--
--><p>[VIDEO]</p>
* Derivações: ''manipulando fórmulas ou sequentes''?<!--
--><p>[VIDEO]</p>
== Derivabilidade e admissibilidade ==
* '''Derivabilidade ''' e '''admissibilidade ''' de regras<!--
--><p>[VIDEO]</p>
* Uso de '''lemas'''<!--
--><p>[VIDEO]</p>
* Da ''derivabilidade das regras estruturais '' na notação DN<sup>Tree</sup><!--
--><p>[VIDEO]</p>
* Definição formal da '''relação de consequência dedutiva ''' associada a partir de um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
== Para reflexão ==
* 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?
