Difference between revisions of "Dedução Natural"

Latest revision as of 20:59, 15 October 2020

Componentes do formalismo dedutivo da Dedução Natural: regras (primitivas e derivadas / casos particulares: axiomas e teoremas) e derivações
O conjunto das derivações de um sistema de Dedução Natural
Notação DN^Tree: derivações como árvores de fórmulas, com descarte de hipóteses
Derivações: manipulando fórmulas ou sequentes?

Definição formal e principais meta-propriedades da relação de consequência dedutiva associada a um sistema de Dedução Natural

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"!

Revision as of 23:42, 12 October 2020 (view source) Jmarcos (talk \| contribs) m (→‎Para reflexão) Tag: 2017 source edit ← Older edit		Latest revision as of 20:59, 15 October 2020 (view source) Greati (talk \| contribs) (→‎Links externos) Tag: 2017 source edit
Line 45:		Line 45:
	== Links externos ==		== Links externos ==

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