Contents
- 1 Dedução Natural para a Lógica Proposicional Intuicionista
- 1.1 Derivabilidade de sequentes
- 1.1.1
- 1.1.2
- 1.1.3
- 1.1.4
- 1.1.5
- 1.1.6
- 1.1.7
- 1.1.8
- 1.1.9
- 1.1.10
- 1.1.11
- 1.1.12
- 1.1.13
- 1.1.14
- 1.1.15
- 1.1.16
- 1.1.17
- 1.1.18
- 1.1.19
- 1.2 Derivabilidade de regras
- 2 Dedução Natural para a Lógica Proposicional Clássica
- 3 Para reflexão
- 4 Veja também
- 5 Links externos
Dedução Natural para a Lógica Proposicional Intuicionista
Derivabilidade de sequentes
Derivabilidade de regras
a partir de + ()
a partir de +
Dedução Natural para a Lógica Proposicional Clássica
Derivabilidade de sequentes
Terceiro Excluído / Tertium Non Datur:
Tarefa: Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
, via raciocínio por absurdo
, via terceiro excluído
Derivabilidade de regras
[AGUARDE!]
Para reflexão
- O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra
adicionarmos uma regra da forma
para algum conectivo binário da nossa linguagem?
- O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra
adicionarmos a seguinte regra de consequentia mirabilis?
Veja também
Links externos